[galaxy-dev] Short-term access to a galaxy server for teaching