Estoy usando Safari para leer la documentación HTML que viene con algo. Muchos de los archivos .html contienen enlaces a otros, entre ellos, donde el caso de la URL no coincide con el nombre del archivo. Por ejemplo, somefile.html contiene
<A HREF="AnotherFile.html">...</A>
pero el archivo real se llama anotherfile.html, todo en minúscula.
La solución sencilla es editar la URL en la barra de direcciones de Safari, está bien por una sola vez, pero se vuelve tediosa cuando estoy leyendo grandes cantidades de forraje para el cerebro. Una solución más difícil pero única es editar los archivos .html a mano (o un script perl inteligente o lo que sea), pero no quiero perder las correcciones si actualizo el producto o si tengo que instalarlo en otra máquina. (Y no tengo ganas de hacer un trabajo tan duro hoy en día).
¿Existe una extensión de Safari o algo que pueda hacer que Safari se esfuerce un poco más al abrir archivos, para que no distinga mayúsculas y minúsculas si inicialmente no encuentra una coincidencia exacta? Esto necesita funcionar solo para el archivo: protocolo.