Eh.
Option 1:
Release it as print on demand. Im sure the community would rather have the book, even if it means a bit lower quality (and POD has gotten damn good in recent years).
He states that he doesn't intend to make money off it, so why not?
Upload pdf to lulu.com, set price, link to a paypal account or cheque to mailed, sit back and watch the cash flow in, job done. Total time on the part of an author? About 20 mins, of which 10 mins would be making a cuppa.
