Commented out yet-to-be-implemented co-editor HTML