Does it matter?


Ask yourself if this is a problem you can live with. If not, then raise an issue and set the Severity and Priority appropriately. If you can live with it then ask yourself if you can really live with it. You might want to consider documenting it as an issue which you then close as wontfix or Needs documentation.


Related questions: