BUR #6945 has been approved by @nonamethanks.
create alias untied_necktie -> undone_necktie
I was never able to find undone necktie, given that the undone wiki just doesn't exist (the undone necktie wiki is being just weird) and it's not mentioned anywhere else.