Yes, you are right, I will make a pull request to resurrect the names.