chiark / gitweb /
changelog, etc.: Finalise 1.5.1.