See https://www.gnu.org/licenses/gpl-3.0.txt