Thanks to the beauty of both open source models and activitypub, the fact that the lead developer is a tankie does not affect Lemmy users in any way because their sphere of influence ends at lemmygrad and lemmy.ml . If you’re a user of those instances and want out, you can just create another account in another instance and still can access any communities you want.