Indeed you are correct. My memory was obviously wrong, and I'm not an expert at XML.
calxalot wrote: ↑Fri Jan 24, 2025 8:29 am
<element></element>
is equivalent to
<element/>
Thank you. Your explanation makes perfect sense.
And, that explains why I needed the extra line in the Windows config file.