Documentation updates. * docs/CHANGES: Add missing information. * docs/formats.txt: Rewritten and updated.