Merge pull request #3865 from steveax/doc-7.y #1972

Job	Run time
o (core+ext/openjdk11/pg-11, ubuntu-20.04, 2.7)	15m 0s
o (core+ext/openjdk11/pg-14, ubuntu-20.04, 2.7)	15m 40s
o (rspec/pup-7.x, ubuntu-20.04, 2.7)	2m 2s
o (lint/openjdk11, ubuntu-20.04, 2.7)	5m 35s
o (int/openjdk11/pup-6.x/srv-6.x/pg-11/rich, ubuntu-20.04, 2.5)	1h 41m 49s
o (int/openjdk11/pup-7.x/srv-7.x/pg-11/rich, ubuntu-20.04, 2.7)	16m 33s
o (macos-11, core+ext/openjdk11/pg-11, 2.7)	25m 35s
o (macos-11, int/openjdk11/pup-7.x/srv-7.x/pg-11/rich, 2.7)	20m 42s
o (macos-11, rspec/pup-7.x, 2.7)	4m 9s
	3h 27m 5s

Provide feedback