Neither of the example applications work offline (Linear, Pitch, SuperHuman), so neither are actually local-first?

Seems even the article admits this for at least one of the examples:

> While not strictly local-first

So what is the point of the article, to push those products?