Re: How to publish a document under GPL