Random stuff

Binary files in a git repo????

That's the purpose of this repo. We'll delete it if it gets too big.