I suspect you're overthinking it. I'm pretty sure he just took the "le" from Google (Reddit + Google = Redditle).