New comment by leahneukirchen on void-packages repository

https://github.com/void-linux/void-packages/pull/41520#issuecomment-1375830903

Comment:
AFAICS the license doesn't restrict redistribution of binaries, so we can just package it. Let's just slap `repository=nonfree` on it and be done.