Neil Conway writes:
> So, is upper-case or lower-case better? I'd personally prefer
> lower-case, I suppose, but I'm not too bothered either way.
If you want to change them all to lowercase, that would be fine by me. At
least it would prevent more people being confused into inconsistencies in
the future.
--
Peter Eisentraut peter_e(at)gmx(dot)net