HTML is a plain text format that can easily be processed even with handmade programs, no special set of tools has to be used to manipulate any HTML file. Often a simple text editor does the job.