Tools for admin stuff on the linuxposting tilde