Kithmo,
Thanks for the suggestion, I just tried it and yes it can be reset manually - if I remember. However, this is the first (and second) time it hasn't done it automatically so I don't know what has changed.
As I said initially, it is (was) annoying but not critical and does not cause other...