RE: Haddock: how to disable the JavaScript menus?