This is a placeholder for the subdomain launcher.muren.mu