This useful feature is not working these days. At least Keren has the
same problem. Anybody else? I've tried Firefox 3.5 and Safari, both Mac
and Linux.
It looks as if all the JavaScript on the IMP pages is broken. This
probably happened when the new version of doxygen came out. I'll take a
look.