On Fri, Apr 21, 2017, at 22:25, François Boulogne wrote: > I noticed that the doc for 0.13 is missing. What happened to that one? :) Woops, we forgot to update that with the release; done! Stéfan