Собственно, вопрос в заголовке.
Как печатать в Google Docs двойные кавычки? В настройках ничего нет. То, что там называется "преобразование кавычек" - это просто кавычки в другом стиле. Автозамена не делается, т.к. Google Docs не различает открывающую и закрывающую кавычку.

Может, кто-то из пользующихся Docs нашел решение?

Вопрос для автора уже, скорее всего, неактуален. Но, возможно, кому-то пригодится. Недавно наконец-то понял, как сделать автозамену в GoogleDocs на кавычки-елочки. Соответственно так же можно сделать и двойные кавычки. Нужно внести нужные кавычки («елочки» ) в автозамену, а затем, когда ставишь кавычку в тексте, чтобы она поменялась на «елочку», после нее нужно нажимать пробел. Этот пробел затем нужно удалить (но не клавишей Backspace, потому что тогда кавычка снова становится обычной, а клавишей Del). Сперва выглядит непонятно, но если один раз разобраться, потом все работает.