That's been the URL for a long time. It's that until a day or so ago, https://www.gnu.org/licenses/gpl.html https://www.gnu.org/licenses/gpl.html did a 302 r

That's been the URL for a long time. It's that until a day or so ago, https://www.gnu.org/licenses/gpl.html https://www.gnu.org/licenses/gpl.html did a 302 redirect to http://www.gnu.org/licenses/gpl-3.0.html http://www.gnu.org/licenses/gpl-3.0.html .