Thanks, I hadn't thought to look, since it has been working fine, and I've not done anything that I know of to change setup.
However one of the bugs listed sounds the same, except I've not performed any backup/restore.
The comments do list a possible fix which I'll try later when I get home.