keep both options to choose (dual GFDL+CC-BY-SA). Dual licensing is fine. Thanks.
the entire repository with all previous history of commits (some of which turned out to be inconsistent with the policies) to Savannah after adjusting the current commits to the requirements? I don't know. I don't recall a precedent either way. The examples of the config files are another concern The simplest thing for examples might be to simply label them "public domain". Then they are compatible with everything and anyone can use them as desired, without worrying about the requirements of the GFDL or CC-BY-SA. Which is usually what's actually desired for examples. --best, karl.