ExtractTagGroupByCounter is a little utility that helps you put large documents on the Internet (or into HTML format). But when…