"GPL" -> "GNU GPL", and use https to link to gnu.org