re: #19 Belafon
Would it be a bad thing to end the appendix?
Maybe. It wouldn’t be high on my list of “editing” (a euphemism for the older term “engineering”.)