On 2020-04-04 12:56, Michael Balzer wrote: > Last but one, after the merge: Thanks! (If we're not careful I'll start to understand how git works...) Craig