benson/varieties.tex: up to early 5.7