Adam Wolbach writes:

 > The debate moves into a gray area when you consider that OpenSSL
 > may be shipped as a GPL-incompatible library with an operating
 > system, which the GPL specifically allows exemptions for linking
 > against.

The FSF is pretty adamant that such things are not normally part of
the operating system.  The FSF has made any number of adverse
decisions to that effect (eg, regarding Qt under the old TrollTech Qt
license, when distributed by Linux distros in the same way that Sun
distributed Motif with SunOS).  It's clearly not worth relying on that
clause when it's so simple for Coda to make the exception explicit.

 > The most common way to get around this is to distribute your code under 
 > the GPL with an OpenSSL exemption clause.

Yes, please do that.