Improve navigation of the tools HTML documentation