Excerpts from Adam Chlipala's message of Sun Jan 02 17:33:50 +0100 2011: > P.S.: I noticed that, the last time I announced repos for separate It was me. I missed that. I thought the "static" page was static and I never looked for changes. I'm going to remove them adding a pointer to the static page instead. Thanks! Marc Weber