Thanks Malte
I am currently hosting the documentation for different user types in dotTEACH here: http://www.users.on.net/~jsuen/tif-project/Manuals_pdf.zip (about a 1mb download, 4 *.pdf files) Alternatively a large *.doc distro is here: http://www.users.on.net/~jsuen/tif-project/Manuals_doc.zip
I will be reworking these manuals very soon, as some tools have changed.
I can be openly contacted regarding the development of this package at the email address I've registered here.
Cheers, Jon