Last changes before 0.21

I will now make a release, hooray for us.