Hi all, I've prototyped a Python plugin that transforms TeXworks in a collaborative real-time editor. At each document compilation, TeXworks receives the remote diff and sends the local diff to the server. What's your opinion on this? --Martin