Miscellaneous tools for tilde.club