/gpl-3.0.texi
