Peter, next time you share some technical lines containing non-alphabet characters, use either putting it between backticks (like an accent diacritic sign, found far left in the EnGB layout) or placing it on a separate line starting it with four whitespaces. Those Markdown instruments match respectively HTML's monospace and code formatting tools.