MySQL JSON Extract Escape

SELECT JSON_EXTRACT('{"user.name": "Aztalan"}', '$."user.name"');
Mysterious Marten