SYMBOL INDEX (5 symbols across 2 files) FILE: MicrosoftHostsPicker.py function ping_ip (line 6) | def ping_ip(ip: str, attempts: int = 3, timeout: float = 1.0) -> float: function process_ip_list (line 16) | def process_ip_list(file_path: str) -> Tuple[str, float]: function write_hosts_section (line 29) | def write_hosts_section(hosts_file, title: str, ip: str, domains: List[s... function main (line 36) | def main(): FILE: script.js function setLanguage (line 14) | function setLanguage(lang) {