A file dump for various unrelated stuff.