New comment by maneandrea on void-packages repository https://github.com/void-linux/void-packages/pull/31147#issuecomment-850530243 Comment: Too bad. Shall I close the PR?