@robjohn @robjohn: That's the one. I guess the question was deleted by the user, but I'd like to know whether it was in response to an answer or not. If there was an answer, this feels like cheating so undeleting the question might be warranted. Even if not, I'm kind of sad that this version got removed, instead of declared a duplicate of e.g.
this one.