The revision history has moved to the file doc/changes.src, and
is now included in the documentation as Appendix C.