TRPL: more backward-compatible Edition changes

- Improve the discussion of `unsafe` blocks within `unsafe` functions. - Fix formatting in Appendix A

Author: chriskrycho