Mark,
I think the discussion already answered most questions, but here is a
summary I'm proposing for the manual:
https://github.com/geodynamics/aspect/pull/1811
Best
W.
--
------------------------------------------------------------------------
Wolfgang Bangerth email: bangerth at colostate.edu
www: http://www.math.colostate.edu/~bangerth/