Eric W. Sink wrote:

I'm new here, so take my comments with a grain of salt, particularly when they're as trivial as this one:

In GUI design, the proper spelling of OK is "OK", not "Ok".

Sorry -- this one is a long-standing pet peeve of mine. :-)

So, should I log this as a bug somewhere (the Collector), or is sending it to this list appropriate?

The collector's fine, you could also submit patchs. This would get your peeve petted much quicker. -Michel