# Various stuff
This is the place to store various stuff that does not fit in the other
categories.
