New comment by kawaiiamber on void-packages repository https://github.com/void-linux/void-packages/pull/27113#issuecomment-748613881 Comment: @paper42, wow! Thanks for the PR on upstream! I didn't know myself about those best practices about stuff like `$DESTDIR` for packages on distributions.