3 Jun
2023
3 Jun
'23
9:12 a.m.
I try to attach a draft on the paragraph on alternative builds, to be put in the appendix. If it goes well, I would propose to wait until Andrew's patches are put into git. @Phyllis For the draft I used what you reported in previous emails.