Talk:Gargoogolplexed

I seem to recall seeing this name (or a variant of it) mensioned somewhere for this number. Should I find it? Username5243 (talk) 23:27, May 14, 2017 (UTC)