What is the added value of having this optional flag? imo all users will benefit from having additional granularity off the pc-lint profile.  So i would leave this out