On fre, 2011-05-20 at 07:56 -0400, Tom Lane wrote:
> > * Should we allow non-ASCII characters in general source
> files?
>
> Prefer "no" here.
Going through this I felt a little bad butchering up people's names that
hadn't bothered anyone before now. So as a compromise, I made
contributor names UTF-8 consistently, but removed other uses of
non-ASCII characters.