Christian, Dave only maintains the latest release of the documentation, the stuff on his website. We track these changes in ntp-dev. If any changes are desired in any other version of the documentation (like ntp-stable) folks can submit issues thru bugzilla.ntp.org. Harlan