The new # TODO ligature in PragmataPro ligates too much even for languages that use # for comments, as comment character is now part of ligature. It’d be better to have TODO: as the pattern (common language-agnostic usage) turn into a right-arrow shape: [TODO>
