New comment by mtboehlke on void-packages repository https://github.com/void-linux/void-packages/pull/39980#issuecomment-1279917717 Comment: libedit and editline both package an editline.3 man page. Other distributions solve this by simply renaming the editline package's page. Arch Linux goes with editline-troglobit.3, and gentoo uses libeditline.3. I borrowed the latter, which at least matches the name of the library object.