You’re right. Wow, that’s annoying – when you copy and paste the value from developer tools in Safari it strips those characters, so you only get the printable characters.