What if Radiohead recorded "Fitter Happier" in 2013?