Please post your questions in related forums and not the blogs.
Moved to "General Discussion & Chat" Forum.
Go to Documentation Site
and chose the version you want and get it. Though, I am not sure if you will get the Tools manual here. You can go to InforXtreme
to get the manuals.