* CHANGES.txt: Slightly extended.