This is a feature request, so perhaps the maintainers could mark it as "Wishlist" but I would vote for this change.
This is a feature request, so perhaps the maintainers could mark it as "Wishlist" but I would vote for this change.