A tool for rendering all Windows Performance Counter help notes to an HTML file