Change of license from GPL to CC BY-SA-3.0.