> this should be a note, rather than a comment

Should it? To me, `notes` (and other metadata) are for end users rather than maintainers… this is an implementation detail IMO and isn’t really relevant to end users. You could credit @aFarkas as an `author` though.