New review comment by paper42 on void-packages repository https://github.com/void-linux/void-packages/pull/36311#discussion_r895066829 Comment: I forgot about that, thanks for pointing that out. I think we can remove it then.