Minor doc changes made last fall, mainly adjusting relcowidths