You may want to consider posting this same information as an Issue on ggplot2
's GitHub. That way the maintainers of the package can consider implementing the changes you've suggested. You can post an issue here.
1 Like