I can't help with the documentation, but will chime in that I am on my third "Drill Doctor" and would not be without one in my shop (I've worn two of them out) It has saved me, literally hundreds of dollars in bits. I personally don't try to sharpen anything smaller than 1/8" bits with it. My first one came from my wife as a Christmas gift, and after a little time gathering up all the dull bits in the shop and trying it out, I can't image not having it in the shop.
I've found the folks at the company to be very helpful. When I wore out my first Drill Doctor, I sent it in to be overhauled....I got a phone call from the company telling me that my model was no longer being made, and that they would replace it with a new model. As it turned out, then sent me a brand new (model) Drill Doctor at no charge! By the time I wore that one out, they had come out with the latest model, and I just decided to purchase it.
At first I had issues with the latest one, grinding the wrong angles on bits, but after contacting the company, I was told to set station #1 for 118 degree and leave it there, even for grinding 135 split points....and have been very happy ever since. At one point it got knocked off the bench and the plastic "bit guide" broke....I called up to order a new part, and the individual I spoke with said...."no charge", and even shipped to me for free. Its a good tool, and more importantly, I've found them to have outstanding customer service.