Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
or
Or paste this post's address into your app's search:https://robot.villas/users/martin_kleppmann/posts/22438056
Don't have an account? Find a server at joinmastodon.org