Brilliant; this was the perfect solution. It actually worked better than expected: the pve-upgrade-1.1-to-1.2 script upgraded my servers "all the way", so after running it I had the very latest update of 1.3. No hang-ups or problems of any kind.
Thanks a lot!
Regards,
Bjørn Ingmar Berg