Ok, I got it, I think.
I am going to be taxed by the USA for 2017. I had sufficient withholding to cover that, with a refund due me from that withholding without any consideration of HMRC. I file my IRS forms just as I always have in early 2018 for the 2017 IRS tax year.
I am going to be taxed by HMRC for 2017/18. I will throw the 2017 IRS refund towards HMRC and have to come up with the difference to pay off HMRC for 2017/18 by Dec 31 2018.
I am going to try to cancel any witholding from my pension for calendar year 2018, as I did a mock-up on taxes for the USA for 2018 and HMRC for 2017/18 and HMRC pretty much would need the amount I have been having withheld from my USA pension. I will place that amount in my UK savings account or otherwise earmark it for payment of future tax to HMRC.
By not having the IRS have hold of it, I'll have it available to pay HMRC by Dec 31 2018, to be able to claim the HMRC taxes as a credit off my 2018 year IRS filing done in 2019. The credit for tax paid to HMRC should leave me with no USA tax due and so no need of the withholdings by the IRS in the first place.
Beginning with my IRS filing for 2018 taxes (done in 2019), I elect the accrual method, so that I can count the HMRC tax paid covering April 2017-April 2018 against my 2018 IRS taxes.
If you read this and find anything amiss, please let me know?
Next question: When I left employment, I had the option to either take my accrued vacation as a lump sum or stay "on the books" and have a month of terminal vacation. I did the latter so that I would be eligible to continue my health insurance into retirement (a requirement for EU CSI) and also to be able to participate in a COLA for retirees that would apply only if I remained employed for that one extra month.
SO, does HMRC count this sort of terminal leave while in the UK as income? I am assuming that since I was physically in the UK when it was paid out, they do. But since it was actually for hours-off earned/accrued over the prior three years in the USA, perhaps there's a loophole?