The patch is a good one to make, but it actually does not solve this problem. I suppose this is still a bug.
The problem is this:
My firewall redirects outside requests on port 80 to port 8000.
So inside, www.safe4all.org is listening on port 8000.
Outside, it listens on port 80.
The code doesn't redirect correctly for IE.
What I ended up doing, short-term, is hardcoding the port to 80.
I think the best solution would probably be an option in the config.tcl file, that utility-procs.tcl would read from, and override the default port.