manuals restructured, tor manual: content extended and some corrections