Public answers to Jochen Schlehuber, the original author of AutoHide, and the rough 40 people who mailed me about my new FullerScreen extension :

  • no, I never heard about AutoHide before, and I did not find it because it's not available from addons.mozilla.org ; I don't think I would have started FullerScreen had I known about it.
  • Yes, FullerScreen is still buggy, very buggy. I shaped it in 10 minutes only (those who were on IRC yesterday afternoon, french time, and keep logs can probably see a very little number of lines between my "/me starts a new extension " and my "yay!").