On Tue, Dec 09, 2014 at 07:44:36PM +0100, Pierre Tardy wrote: > Is there some kind of auto update? Not yet. As I said it's a work in progress. (My computer time is limited these days so) I'd expect it to be fully automated (setup and update) this Sunday the earliest. After that we can discuss how often we should have it updated. -- Misha