a quick and dirty conversion from HTML, may need additional copyediting; originally from plain text acquired from a prominent source of public domain etexts