Re: [C2hs] License for the c2hs manual