(just a wish; Robert asked for a bug to be filed; I may tackle it eventually but would be interested to hear whether anyone wants it.)
(just a wish; Robert asked for a bug to be filed; I may tackle it eventually but would be interested to hear whether anyone wants it.)