I don't have a strong opinion on this either.
I agree that we can postpone this until there might raise actual need. But maybe we could close the PR instead and leaving a comment here that it could be resurrected if needed? The list of open PRs is quite long and one has to search for it anyway.