Undocument deprecated aliases[]