in prebuilt-rules-scripts/generate.py [0:0]
def _convert_name_to_filename(name: str) -> str: name = re.sub(r'[():]', '', name.lower()) name = re.sub(r'[ -+/\\]+', '-', name) name = re.sub(r'-+', '-', name) return name