There are a couple nice features about Overleaf, like collaborative editing, fairly quick turnaround rebuilding, and being able to double-click to jump back and

There are a couple nice features about Overleaf, like collaborative editing, fairly quick turnaround rebuilding, and being able to double-click to jump back and forth between the PDF and the source. But being forced to edit text in a their crappy web interface just frankly sucks. It's like throwing away half my skillset. It'd be so much better to go the other way and add collaborative features to existing editors than to reinvent the wheel in a crappy way.