I was looking for an on-line manual for an old tool. Couldn't find it, but found a 12-year-old request for it.
And then I found the physical manual, so I scanned it and uploaded it. I felt a bit silly; I'm sure that poster doesn't care. But maybe others will.
