[Ey7NFZ3P0nzAe]

He has not retired from working on it. He just got fed up with the community and is now pushing changes without allowing github issues and discussions.