New comment by tibequadorian on void-packages repository https://github.com/void-linux/void-packages/pull/35647#issuecomment-1053823964 Comment: ~Should section 3 man pages go into the -devel package?~ Moved them now, because it's done in other packages.