New comment by ericonr on void-packages repository https://github.com/void-linux/void-packages/issues/32481#issuecomment-898781475 Comment: It doesn't really take space, so that's fair. My only issue is that it might give an appearance of lax packaging policy and standards, since the files are "useless". I don't think that matters much.