chiark / gitweb /
changelog: Mention #850519 re docs updates