Get in touch with them, I guess.
This is not an official support forum, so not an avenue for reaching out to them. Sometimes they reply here, but it's very patchy, and the official line is that this is a community-driven effort.
That said, there is not a jot of doubt in my mind that what I said is correct.
--
Adam