Manpages of kconfig-frontends in Debian buster