Shouldn't `Json::encode()` in ouzo use `JSON_UNESCAPED_SLASHES`?

[danon]

echo Json::encode('5/6');

Result

"5\/6"

Why is / escaped?

If you use JSON_UNESCAPED_SLASHES from https://www.php.net/manual/en/json.constants.php, it doesn't quote slash anymore.

PS: From PHP documentation I found, that PHP json_encode() quotes /, because when you arbitrarily paste it into <script></script> (so maybe 0.01% of use-cases), then / is disallowed and malforms HTML, but that's a really weird reason, since it should be encoded with htmlentities().