Thanks. I am a bit unfamiliar with the context of the pull request. Your comment was useful helping me figure out what is the motivation.