My personal collection of useful scripts, when hosting on uberspace.de