Didn't the Mastodon guys make their high-performance system a pay only system instead of open source?