My migration from PlusNet to IDNet took place at about 00:27, so I woke up to find that it had all happened. After changing my PPPoE login details in the router it's all working fine. The connection has been reset, so at the moment I have a target SNRM of 6 dB and no G.Inp, but hopefully that will get adjusted soon. The next task is to enable IPv6, but I'll leave it a bit before doing that.