Menção direto no Reddit se bem me lembro. E acho que um pouco antes uns gringos mencionaram o Mastodon num grupo do Discord que eu estava daí logo pude associar os dois também.