FlyLatex: a free, open-source real-time collaborative latex editorgithub.com/alabid61 pointsalabid13 years ago