[cyphar]

There's a "rename" button on Github. It will handle redirects for you. Fixing a future PR nightmare couldn't be easier.