// Tidy configuration file for bug #431716 split: yes