On 5/25/20 8:56 PM, Simon Marchi wrote: > Other than that, does any of you have further comments? I've done the > small suggested fixups, but I don't think there was anything big > requiring another round, is there? No further comments from me. Thanks, Pedro Alves