conceal html comments

implements issue #80.

might be turned off by default later.