file, and downgrade "must" to "should" in a couple of places. Answers a documentation complaint from Jeremy C. Reed in PR misc/21251