I am in Barcelona, looking at the towels in my hotel bathroom and of course "algodon" means "cotton" but I do think it should be the name of a Mastodon instance for theoretical computer science nerds.