New comment by Idesmi on void-packages repository

https://github.com/void-linux/void-packages/pull/35243#issuecomment-1098402456

Comment:
> That's already proposed in PR 31916.

That PR isn't going to be merged as it is, maybe a new one should be opened.