[lomkiri]

Thank you, Kovid !

Wouldn't it be interesting to have a predefined snippet to insert this comment?

... or even an entry in the tools menu ? It will make this option knowable, because if not, most of the users won't notice it exists.