I'm thinking of replying in a blog post as someone who has spent the last three months actively developing a fediverse application (#flohmarkt).
But the most critical thought: I miss a discussion about reducing implementation complexity as much as possible. The standards leave much "wiggle room" for implementation, which I think is partly to blame for the "whack a mole" nature of support