Thanks, I had copied the spelling from part of the OP, which currently says “Arnalt” eight times and “Arnault” seven times. I’ve now edited my comment (except the verbatim blockquote).
Thanks, I had copied the spelling from part of the OP, which currently says “Arnalt” eight times and “Arnault” seven times. I’ve now edited my comment (except the verbatim blockquote).