As 13.20 kindly asks to avoid installing more GNU General Public License
files into our system,
- Repeat this recommendation in 5.7vert commit bf9dfed44fd3ea2903e3fc732603a9b43eadf33a.
- Modify an example in 5.7 going against that recommendation by
replac- Remove note about avoiding installing GPLv3+ with BSD2CLAUSE licenses from 13.20.