Job done
I searched for a replacement laptop battery, found it at a reasonable price, ordered and paid for it. It was delivered reasonably swiftly, I installed it, and it worked. What else is there to say? It is how the world should work, but sometimes doesn't.