I allow that my contribution to the Debian GNU/Linux release notes can be distributed under the terms of the GNU General Public License, version 2. Miguel Figueiredo http://www.DebianPT.org