Engraçado você ter citado isso, Nicholas, pois eu me lembro de um caso em que o João tentou mudar seu nome por esse daí. Aconteceu no 1º episódio do desenho produzido em 1993 de Dennis, o Pimentinha...