279a8e76-17ac-49d6-a250-270d892bbe7a
coq1 Joined Sep 26, 2018 Messages 45 Aug 23, 2019 #2 I hope you keep translating this one @maigotan !