The spelling corrections marks every instance of “,«” as wrong, giving the error “add a space between the punctuation and the next word”. That’s clearly wrong in this context and makes running a spell check nigh impossible, as I would have to press “is correct” a few hundred times.
Is there any way to side step this bug until it’s fixed?
You can use ‘Find and Replace’ to mark all instances of ‘,«’ and use the regular ‘Ignore Here’ menu item in the context menu to remove the spellcheck markings. Here’s how to do it:
Navigate to ‘Edit’ → ‘Find/Replace’
Type ‘,«’ in the ‘Find’ field, and click the ‘Mark’ button.
Right click on any highlighted instance of ‘,«’ and choose ‘Ignore Here’
This way the ‘Ignore Here’ selection applies to all the marked instances of ‘,«’ in your document.