definition.grmd:1:1: We cannot use '‫' as a mark start because it is an invisible character (U+202B).
