Refining documentation index, fixing other documentation problems