Thanks. I see why we cannot remove it.
Should I withdraw the current pull request?
May I leave this issue still open for adding a docmenttation comment?