I notice in the Therion source metapost there is an ‘area dimensions’.
It seems to be a clone of ‘area bedrock’, but perhaps there is a more cunning purpose?
What is it for and how is it used?
Bruce