New comment by ericonr on void-packages repository https://github.com/void-linux/void-packages/issues/20577#issuecomment-607949383 Comment: Just found c2b89d6bff8 and its parent commit, sorry. Should I keep the issue open till it's removed? Thanks for the quick response, though. I will try to update the docs accordingly.