New comment by non-Jedi on void-packages repository

https://github.com/void-linux/void-packages/pull/20409#issuecomment-605315795

Comment:
Ah cool. My search-foo is apparently poor. Thanks.