New comment by CameronNemo on void-packages repository https://github.com/void-linux/void-packages/pull/39688#issuecomment-1268538087 Comment: I think you are mistaken regarding #13914. That PR kept it as users.