web.properties: replace all cosmetic FlyMine references to WormMine