I’ve installed Chrony now, we’ll see if that helps. Chrony is also what I’m using on the Pi for the GPS time source.
As noted on the other thread linked, DST also changed for me 3 weeks ago, about the same time this issue became noticeable.
