Release 0.42.1: No improvement, just update CHANGES.txt