Rustpad is an efficient and minimal open-source collaborative text editor.