I have still another proposal. Is it possible to insert a separator between Mediawiki groups and message groups of external projects (at the moment this would be before FreeCol)?
