New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/34631#issuecomment-998219656

Comment:
Do you have any thoughts about https://github.com/void-linux/void-packages/pull/33351 ? Not sure how best to deal with it.

I think preferring hinted is ok, but please document the choice in the commit message. Copying the PR comment should be enough.