Merged, thanks Ilya. Poor Dragan, caught by the spell checker :-) Do you think the spell checker could be tuned to ignore capitalized words ? This would make sense if they're people's names, instead of having to individually whitelist each of them.
Willy
