You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on May 21, 2024. It is now read-only.
This also occurs with hyphens in documents generated by Google Docs, but for example "higher-numbered" in the PDF reference works fine, so it could be something to do with the font we're using.
Try an annotated file in another PDF reader to see if this is across the board.