While you're at it, changing the extension seems to break the back button in Chrome and Safari on OSX.
I haven't tried reproducing this, but it sounds like he's setting redirects based on GETs. A bad idea all-around, and not only for breaking the back button in this case.