Spurious lint failure when linting notes
Not only do lint failures stop more useful tests from running, but now the new notes-checking linter (which I love the idea of, for the record) does so spuriously: https://gitlab.haskell.org/ghc/ghc/-/jobs/954920
My patch fixed a notes error. (It really was an error -- it's unclear to me why the patch instituting the notes-linter didn't catch the error.) But now I get an inscrutable failure in the linter, with some line disappearing from an output file. I'm completely lost as to how to recover from this. :(