Add name-marking functionality to HTML view #7

Closed krank closed 4 years ago