Manpages of kubectx in Debian testing