Autogenerated navigation docs — extending