Collaboration-enabled HTML text editing elements: <input> and <textarea> - View it on GitHub