A real-time collaborative editing plugin for sublime text 2