Update HTML documentation for some of the developer tools