0.9.20 release, finally!