]]> ]]> ]> ;; HTML: ;; printing: ;; both: (define %section-autolabel% ;; Are sections enumerated? #t)