A lot of our documentation is written by developers, and they're used to and prefer using a local editor. The ability to do bidirectional syncing (like GitBook) with a GitHub repo would be invaluable.