Helpful to me, possibly nobody else. Discusses the US/UK tax treaty:
Article 1 paragraph 4 (does not apply to me - if a PR in the UK, UK has taxation rights on my govmt. pension)
Article 19 paragraph 5b (my case now - neither a citizen nor a PR of the UK - govmt. pension exempt from UK tax, taxable only in the USA)
Article 24 para 6 (once I have permanent residence - allows me to resource my govmt. pension to the UK - they included what process to go through to file US taxes to claim foreign tax credit).
Plus a few other issues I had asked them about. They took a long time, but they did finally respond. Granted, I'd sorted that last bit out with the help of folks here on UKY, but it's nice to have it in writing anyway.