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”.)