Mysql man pages are non-free

Binary package hint: mysql-server-5.0

[Note: I tried to submit this using the Debian bug tool, but it submitted it to some Ubuntu mailing list anyway. You guys may not care about this; if not, please punt it upstream.]

Package: mysql-server-5.0
Version: 5.0.38-0ubuntu1
Severity: serious
Justification: Policy 2.2.1

The man page for the "replace" binary which ships with mysql-server-5.0 says:

COPYRIGHT
       Copyright 1997-2007 MySQL AB

       This documentation is NOT distributed under a GPL license. Use of this
       documentation is subject to the following terms: You may create a printed
       copy of this documentation solely for your own personal use. Conversion
       to other formats is allowed as long as the actual content is not altered
       or edited in any way. 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. Any other
       use, such as any dissemination of printed copies or use of this
       documentation, in whole or in part, in another publication, requires the
       prior written consent from an authorized representative of MySQL AB.
       MySQL AB reserves any and all rights to this documentation not expressly
       granted above.

       Please email <email address hidden> for more information.

This is fairly obviously non-free.

Note: I am reporting this bug from Ubuntu Feisty.

Gerv

-- System Information:
Debian Release: 4.0
  APT prefers feisty-updates
  APT policy: (500, 'feisty-updates'), (500, 'feisty-security'), (500, 'feisty-backports'), (500, 'feisty')
Architecture: i386 (i686)
Shell: /bin/sh linked to /bin/dash
Kernel: Linux 2.6.20-16-386
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8)

Versions of packages mysql-server-5.0 depends on:
ii adduser 3.100 Add and remove users and groups
ii debconf [debconf-2.0 1.5.13ubuntu1 Debian configuration management sy
ii libc6 2.5-0ubuntu14 GNU C Library: Shared libraries
ii libdbi-perl 1.53-1build1 Perl5 database interface by Tim Bu
ii libgcc1 1:4.1.2-0ubuntu4 GCC support library
ii libmysqlclient15off 5.0.38-0ubuntu1 mysql database client library
ii libncurses5 5.5-5ubuntu2 Shared libraries for terminal hand
ii libreadline5 5.2-2ubuntu1 GNU readline and history libraries
ii libstdc++6 4.1.2-0ubuntu4 The GNU Standard C++ Library v3
ii libwrap0 7.6.dbs-11build1 Wietse Venema's TCP wrappers libra
ii lsb-base 3.1-22ubuntu3 Linux Standard Base 3.1 init scrip
ii mysql-client-5.0 5.0.38-0ubuntu1 mysql database client binaries
ii mysql-common 5.0.38-0ubuntu1 mysql database common files (e.g.
ii passwd 1:4.0.18.1-6ubuntu1 change and administer password and
ii perl 5.8.8-7build1 Larry Wall's Practical Extraction
ii psmisc 22.3-1build1 Utilities that use the proc filesy
ii zlib1g 1:1.2.3-13ubuntu4 compression library - runtime

Versions of packages mysql-server-5.0 recommends:
ii mailx 1:8.1.2-0.20050715cvs-1ubuntu2 A simple mail user agent

-- debconf information:
  mysql-server-5.0/really_downgrade: false
  mysql-server-5.0/start_on_boot: true
  mysql-server-5.0/nis_warning:
  mysql-server-5.0/postrm_remove_databases: false
  mysql-server-5.0/no_upgrade_with_isam_tables:
* mysql-server-5.0/mysql_install_db_notes:
  mysql-server-5.0/need_sarge_compat: false
  mysql-server/error_setting_password:
  mysql-server-5.0/mysql_update_hints1:
  mysql-server-5.0/need_sarge_compat_done: true