May any people who have permission to rename a user please rename me as Waihorace? I have changed it on WMF wikis half an year ago.
Done by GerardM earlier today.
