don't hide w3m on startup
don't flyc generalise in .hs