Documentation updates, mostly about software versions