New comment by PaperMountainStudio on void-packages repository https://github.com/void-linux/void-packages/pull/24834#issuecomment-691286602 Comment: That's fair, I think we can drop it. I can manage my own repository. Should we wait for opinion of other maintainers?