Update documentation index
Forward/back-port @msambro's fix