Manpages of jack-keyboard in Debian wheezy