Document the fact that that using a type ignore of a broader ignore when a subcode exists triggers unused ignore

[wyattscarpenter]

This behavior makes sense, as discussed in https://github.com/python/mypy/pull/19911#issuecomment-3326748471, but we should document it explicitly.

I manually inspected the generated html to make sure it looked right.