Just for reference, I try to maintain a comprehensive Dovetron manuals page here  -

https://www.navy-radio.com/rtty/dovetron.htm

I appreciate any additions or pointers to more info. I'll also scan and return anything additional that you can loan.