A bunch of scripts to mitigate the inconveniences of the RUG student portal - View it on GitHub