I'm using Safari to read the HTML documentation that came with something. Many of the .html files contain links to others amongst themselves where the case of the URL does not match the name of the file. For example, somefile.html contains
but the actual file is named anotherfile.html, all lower case.
The easy workaround is to edit the URL in Safari's address bar, fine for just once but gets tedious when I'm hopping around reading massive amounts of brain fodder. A harder but once-only workaround is to edit the .html files by hand (or clever perl script or whatever), but I don't want to lose the fixes if I upgrade the thing or have to install it on another machine. (And I don't feel like doing such grunt work today.)
Is there a Safari extension or something that can make Safari try a little harder when opening files, to be case insensitive if it doesn't initially find an exact match? This needs to work only for file: protocol.