User blog comment:Rmfrncs/Va'Rok or Va' Rok?/@comment-31118935-20180525110243

Renaming the page would involve having to resolve all of the redirect links, and there might be double redirects somewhere, but yes, we can rename the page.