In a vacuum, this patch is fine, but in the long term it's something we'd likely have to undo when we improve linter behavior. I don't plan to tackle any of this until the next major iteration on lint, which will probably occur after T4287/T11429 and alongside T5055 coming online.

The simplest bugs are always the most complicated.. However, judging by the number of tickets about this issue (T3914, the ones referenced in T8474, T11520), perhaps it's worth the cost of reverting this documentation later vs handling more support tickets. I'll leave that up to you though!