The current procedure for server maintenance is described in the above diagram. Users connect to a shared account via ssh. A digital workspace is shared using a tmux server for live, remote collaboration. A handy tmux cheat sheet can be found here: https://tmuxcheatsheet.com/ Don't be afraid to keep this handy at all times while using tmux!