User blog comment:PlantStarAlpineer0/The Googology Prolific Output Leaderboard/@comment-25601061-20180331183711/@comment-3427444-20180405092500

So I guess "Alemagno12" is okay, even though it has "magno" as a substring?