New comment by leahneukirchen on void-packages repository https://github.com/void-linux/void-packages/pull/46951#issuecomment-1799274498 Comment: But the 20k C file probably should be hosted somewhere else.