New comment by ericonr on void-packages repository https://github.com/void-linux/void-packages/pull/30006#issuecomment-813119275 Comment: Oops :p Feel free to open a PR for an improvement to the package. Do show the current package size and the new package size to help with the decision. That said, given that using a system package requires no manual management, I'm not sure it helps *that* much.