Activity
Dennis Hackethal revised criticism #4345.
Done.
Done, mostly as of 346fb25, then polished in 6dbf721, 5381525, 9f0f936, and 91e6f27.