Good point. Might be worth creating a replacement already, so we can deprecate the name? Will make migration less painful for users when we'll remove the existing symbols.