New comment by toluschr on void-packages repository

https://github.com/void-linux/void-packages/pull/14268#issuecomment-532809382

Comment:
So just to be clear, I am allowed to take the already existing `.deb` file from the website and extract it to `destdir`?