version 0.4.20: fixes from the master
This tag has no release notes.