Lapo Luchini - 2018-10-18

OK, in the meantime I created a new complete mirror, with all commits and tags.