All of this should be moved into the `WikihouseExtension` module to avoid cluttering the global space and also to pass the ExtensionWarehouse moderation.