New review comment by paper42 on void-packages repository https://github.com/void-linux/void-packages/pull/38536#discussion_r1120879732 Comment: I think we can go with the second option, it's relatively elegant and simple.