Kea ARM points to deprecated location for Kea Developers' Guide
Per a discussion in chat today, the Kea team mentioned that the preferred reference location for the Developers' Guide is https://reports.kea.isc.org/dev_guide/index.html
However, the existing Kea ARM appears to point to a now-deprecated location on jenkins.isc.org: see the link in ARM section 16.1.