New comment by tgaudin on void-packages repository https://github.com/void-linux/void-packages/pull/35165#issuecomment-1018921150 Comment: Yes, that's done!