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

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