MikD:
But yes some general housekeeping might be a good idea. I am not to familiar with the feature request procedure so how to do this?
We already have a bug report/feature request about this:
However, if you have other features you would like to request or bugs you would like to report which are not already in the issue tracker, they are welcome! The procedure is described in the contributing guide:
You can post your ideas here on the Arduino forum to get some feedback from the community and refine the idea before escalating it to the attention of the Arduino developers in the issue trackers.