many formatting/reference fixups from Andrea
authorGood Guy <good1.2guy@gmail.com>
Mon, 20 Jan 2020 19:37:28 +0000 (12:37 -0700)
committerGood Guy <good1.2guy@gmail.com>
Mon, 20 Jan 2020 19:37:28 +0000 (12:37 -0700)

No differences found