License under the GNU GPL.