strange then that is always mentioned as one of the most prominent local-first engines.

The terminology in this area is still in flux, but for past year or so I've been trying to draw a distinction:

https://i.imgur.com/B5iOd9y.png

https://x.com/search?q=aboodman%20local-first%20zero&src=typ...