userHighlight 7.21.2 mark Eigenschaften Art mark Toggle-Tag (+highlight user)…(-highlight user) Mappings json { "type": "userHighlight" }