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.