Miscellaneous files, mostly in Python.