Gotta say, a link towards the end of this article is really really good:

https://www.inkandswitch.com/local-first.html

Referenced as a reason why CRDTs are a good way to enable this.