I don't know, it might be. This isn't the purpose of this PR, though. We just want to change the names of things :)