New comment by Piraty on void-packages repository https://github.com/void-linux/void-packages/pull/12626#issuecomment-511197680 Comment: I adapted according to the [manual's removal process](https://github.com/void-linux/void-packages/blob/master/Manual.md#removing-a-package), as suggested by @abenson. @Vaelatern @pullmoll