New review comment by jcgruenhage on void-packages repository

https://github.com/void-linux/void-packages/pull/34871#discussion_r805206010

Comment:
The manual was missing a section on renaming packages, but assuming that @Chocimier opened https://github.com/void-linux/void-packages/pull/34875/files in response to this, I'd like to point you there. The way you renamed the package here is not sufficient.