This document is ``public domain''. It may be printed and distributed free of charge in its original form (including the list of authors). If it is changed or if parts of it are used within another document, then the author list must include all the original authors AND that author (those authors) who has (have) made the changes. When this document is used commercially, the GNU copyleft applies.