The links into the users manual from index.html are pointing to the wrong nodes. Seems to be an off-by-1 error.