chiark / gitweb /
RELEASE-CHECKLIST: Non-real mode (the default, now)