Release 0.42.0: No improvement, just update CHANGES.txt