The current objective of the Freespec project is now to clean everything in order to have a nice publication on Opam.