Check Note references
It is all-too-common to see a references to a useful-looking Note only to find that it is missing, renamed, or mis-spelled. Let's try to lint this in CI. The "parser" itself is quite simple yet works surprisingly well, relying on the Note [
token and the horizontal rule to find Note definitions, and just the Note [
token with some simple comment-symbol stripping to find references.