Manpages of tuxpaint-config in Debian jessie