modified for the wiki, *and* any source code fragment specifically
marked by its contributor as [[COPYING-GPL-ONLY]] are licensed under
[the GNU General Public License](http://www.gnu.org/licenses/gpl.txt),
modified for the wiki, *and* any source code fragment specifically
marked by its contributor as [[COPYING-GPL-ONLY]] are licensed under
[the GNU General Public License](http://www.gnu.org/licenses/gpl.txt),