1Thanks to http://zanedp.livejournal.com/201222.html for the full catdvi command used to convert this page to plain text