Public: anyone can read this; the crew can change it.
Intent: same pattern as #4807.
Done:
error-note
.error-note
Intent: same pattern as #4807.
Done:
error-note.error-noterule and §5d stay; another issue removes them