Merge branch 'inducer-master-patch-29418' into 'master'

Shorten/standardize doc/conf

See merge request inducer/grudge!93