Ah, thanks, I missed that. This does beg the question of why the script then does pull rather than merge, but it would explain why people using that script don't see what I'm seeing. And would suggest that my theory above is approximately correct.

I'm unable to actually check anything at present, though, because this hotel's "free wifi" blocks SSH....