New comment by mobinmob on void-packages repository

https://github.com/void-linux/void-packages/pull/15418#issuecomment-542382524

Comment:
> Should the package be renamed?

It is an orphaned package and seems to have no revdeps - change is easy if you think it makes sense.