#755: Remove generated HTML elements

Resolves #755.