Hi @benjaminbertrand, I made some minor updates for Monday, thanks.
merged
mentioned in commit 1ecfd920