[Wikitech-l] Can/should my extensions be deleted from the Wikimedia Git repository?