Partial update of JSON values in MySql

https://mysqlserverteam.com/partial-update-of-json-values/