Manpages of src:starjava-topcat in Debian unstable