HintsMediaWiki packaging teamWe have the following e-mail addresses on file:mediawiki-debian@lists.wikimedia.org