Extract HTML grammar by Jim Cordy and SomeDeveloper