8000 doc: Update Red Hat documentation tools information · postgres/postgres@f43afbc · GitHub