New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/34226#issuecomment-982842975

Comment:
For the record, a response could have been: "it only adds 7 minutes to build time (which is very small compared to the full build) and, since the resulting binaries can be distributed to other people, it means squeezing out performance is worth it"

That justifies why enabling it makes sense, and shows how much it costs, while avoiding antagonizing those who are reviewing your PR.