There are plenty of things where the HMRC guidance does not align with the treatment as laid out in the double tax treaty. And as I am sure you are aware with tax, there are different interpretations and experiences. Not sure why you have a problem with this. I am simply stating where my experience is different from yours. In your earlier post you didn't even acknowledge that an IRA could be non-taxable in the UK.
And anyone reading my posts, or yours, can feel free to take it on board or disregard. After all, we are just on an internet forum giving advice.