@LayGGS, @S John, на некоторых операционных системах они с "" на «» автоматически меняются. По крайней мере, когда я с Винды и Андроида на МакОС и iOS перешёл, они стали заменяться. Поначалу я пытался бороться с этим, но потом плюнул. К тому же узнал, что с точки зрения типографики «ёлочки» — правильный вариант.
@S John,@Kahn