Btw yao, if you're passionate about this rename, feel free to open a generic issue for that. (applying to all commands). That's how we should fix this (Everywhere).