Public repo for the configuration files of Sten Willemsen