Code and documentation for setting up and managing a tilde.club server