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.