Comment on Serious debate please: How is Mastodon decentralized?