I might have given some feedback like "document the options this linter takes", and whoever was contributing the patch did this, and then I missed it on accept. Or I might have just derped this up.

Since I want to deprecate .arcconfig options anyway, removing these fragments seems much cleaner to me. I agree that they're currently pretty useless. Generally, I'd like to push documentation aggressively toward being more terse, particularly after T988, which generally allows documentation to be inherited.