On Sun, 11 Jan 2026, Stuart Henderson wrote:

> I don't know the details of the platform well enough to know which is correct.

Me neither.
Ok, so leaving this as-is.
If it's important to someone then I guess they'll do something about it.


Stu