Спасибо. Люди редко используют блоки кода, поэтому трудно понять, где именно допущена ошибка — в их коде или это результат преобразования прямых кавычек типографом.
Тем не менее, я обсудлю это с моей группой и посмотрю, сможем ли мы убедить их использовать блоки кода.