Public dev repo
Currently development is going on in a private repo, which periodically gets synced to this public repo. Doing development in a public repo instead would be nicer, so we can have meaningful commit messages and don't have to wait for a sync when small fixes are made.