Manpages of xotcl-shells in Debian jessie