re: #79 allegro

When part of a comment disappears like that, it’s almost always because of a messed up HTML tag.