I just read in the Debian Weekly News that the Free Software Foundation
has published a new revision of the GNU Free Documentation License,
Here's a discussion of the changes on the debian-legal mailinglist:
I have no clue about these things, but I thought it might be of interest
for our project. Do we gain anything if we change to the new version?