SSH Can Do That? Productivity Tips for Working with Remote Servers