[doc] Complete, cleaned-up doc at several locations