anchor.diff:  |prod
   |prod
   
  -3+|*Monitoring-related configuration options*
  +3+|*Monitoring-related options*
   
   .4+|[[opt-monitoring.jmx]]*monitoring.jmx*
   2+| (beta) Enable or disable JMX monitoring
  
positive.code: |prod
  |yes
  
  3+|*Tooling-related configuration options*
  
  .4+|[[opt-tool.gzip]]*tool.gzip*
  2+|Enable or disable GZIP compression of 
  
negative.code: |prod
  |yyyyMMdd
  
  3+|*Caching-related options*
  
  .4+|[[opt-asset.caching]]*asset.caching* TODO
  2+|CSS class(es) to be applied to the container used for export links
  