New review comment by ericonr on void-packages repository https://github.com/void-linux/void-packages/pull/34611#discussion_r772075706 Comment: I prefer using `rmdir`, for these.