Dear people transcribing lyrics to “No More Heroes”: Do you really all think that, after Trotsky, they’re going to start talking about some random guy called Lenny?