On Fri, Oct 09, 2020 at 01:39:50PM +0200, Romain Vimont wrote: > --------8-------------------------------------------------------------- Oops, I broke my scissors. -------- 8< -----------------------------------------------------------