Skip to main content

General plugins

A tiny script: jumping to a course by shortname