// Tidy configuration file for bug #434940
show-body-only: yes