My menu hiding hack didn't work in Gecko browsers because of a difference in the behaviour of the JavaScript setTimeout function.
It is part of the cloud services available with gf -server.