Transfer files to Distemper repository

Exactly what the summary says, but with some file name changes, too.