MERGED
b63b3644
·
corrected minor goofs that txt2man didn't render correctly
·
Sep 20, 2002