Better descriptions for the tools HTML documenting pages