Not really related, but this could be the occasion to move Zarith to
github for good, so that we can finally host its documentation somewhere
(gh-pages) and contribute.


-- 
Simon Cruanes

http://weusepgp.info/
key 49AA62B6, fingerprint 949F EB87 8F06 59C6 D7D3  7D8D 4AC0 1D08 49AA 62B6