--- /dev/null
+Server post-installation TODO
+
+The server post-installation script seems to have run successfully. Remember to
+perform the following tasks:
+
+- once when mail system set-up seems stable, in
+ config/dotfiles_user_server/getmail/getmailrc, set [options] delete = true