"You shall not publish or distribute this documentation in any form or
on any media, except if you distribute the documentation in a manner
similar to how MySQL disseminates it (that is, electronically for
download on a Web site with the software) or on a CD-ROM or similar
medium, provided however that the documentation is disseminated
together with the software on the same medium"
Does this suffice to allow Debian to distribute the manual in
non-free, while distributing the server, client, and library in main?
I'm not really confident it does...