Re: [C2hs] Repository move and additional maintainer