@mti: Super!
I try to fiddle with it. Although the Lars GPSDO does not output
the frequency, but I remember having read somewhere the LSByte of the
DAC (PWM) value is related to the frequency.
Lars' GPSDO is now connected to my Es'hail-2 (Google on it ; -) station
and is around 10 - 100x less stable than my BG7TBL reference, so I presume
I have to increase the PI-loop time constant.
However, I think after some tweaking (and also automatic filter/time constant settings)
it'll have the desired precision/stability.