Hm. I'd consider it if I were planning on using IE again.
Until then I thought I'd see if I can't come up with something of my own. I assumed that the user has downloaded the multiple-HTML-file version of the manual, (which has the advantage of not needing an active network connection). I assumed this because I have🙂
I stuck a batch file in the root directory.
set phpmanualpath=\path\where\the\html\files\are\
cmd /c "%phpmanualpath%function.%1.html"
So that now I can call up a command line, type "\phpman sscanf" and get the sscanf page. Once there of course all the links are functional.
If I'm in the mood I might extend it to other sections of the manual.