Re: PR. That'd be good. Freshmeat and SourceForge too (I think we're still marked as "beta" in SourceForge).
Re: Documentation. I haven't uploaded the documentation to its SDM module yet because I couldn't get rid of an annoying conversion problem when generating the PDFs. They'd insist in converting the greater-than sign to #62, no matter if I used > or gt in the HTML source.
Maybe I have an old version of HTMLDOC.
