Google is turning off its URL shortener – breaking every link that ever used it (kernel.org)