I want people to be able to switch dimensions on my spigot server, and I think it would be confusing for them if they didnt have access to /end, because that would be the first command they'd try when warping to the end. So, I want to rename the /end command to something else, like /endproxy. Would anybody know how to do this?