sorry, I accidentally pushed a couple of commits to the master branch. I reverted them after I realized. I suppose there is no clean way to handle this otherwise.

In any case, they are small updates to the dialog/preference section headers regarding case usage (for consistency). In this branch now I "un-revert" the now reverted commits on the master branch. Ugg, apologies -> https://github.com/pure-data/pure-data/pull/2332