Never mind. I found it on an old version of the extraputty site on archive.org's wayback machine.
Is there any place to get a copy of the user manual other than Scribd? Thanks!