I just packaged those things for OPAM, nothing else, they have a real

maintainer (ygrek)