Logged In: YES 
user_id=6405

I'm going to close this issue as Works For Me. 
 
Happy to accept a Javascript patch that fixes things for older 
versions of IE (and *doesn't* break it for newer browsers) but I'm 
not going to try to fix it - I don't even have access to a testing 
environment. 
 
Recommend that users upgrade to a more recent browser.