:Ah, thanks for letting me know. If that's the case, then you're right, but I've no idea how to do a history merge. Best I can do, I think, is restore the Draft so that someone else can merge it, and I've now done that. Perhaps ask at WP:AN for someone who can do the merge?