New comment by Duncaen on void-packages repository https://github.com/void-linux/void-packages/issues/23575#issuecomment-746783087 Comment: This is pretty annoying to delete, can we get filenames/paths for future deletions?