You’ll see that when you’re at the top, a bottom scroll bar appears with some spurious margin-right or padding-right which disappears as you scroll down.

That's right, and I never noticed that before.

it tends to fix itself

I can confirm that, in the meantime it no longer appears :-)
It's good to wait and see...