That’s the correct place to raise an issue. First search any open issues to see if anyone else has reported the same problem. I doubt it will be given a high priority because of the low impact on usability .
1 Like