New comment by cinerea0 on void-packages repository

https://github.com/void-linux/void-packages/pull/50111#issuecomment-2092019600

Comment:
Given that upstream has directly stated these tools are unsupported it may be a better idea to move building them behind a non-default build option instead of enabling them for everyone.