Спасибо, что проверили. Хорошо знать, что другая конфигурация сталкивается с той же проблемой.
Я провёл тестирование CSS. Вот что здесь, в Discourse:
b, strong {
font-weight: bolder;
}
Если изменить на:
b, strong {
font-weight: 700;
}
то жирный шрифт корректно копируется в Google Docs! В панели инструментов даже отображается как [B]. Кстати, «font-weight: bold;» тоже работает, просто не «bolder»!
Я перешёл по адресу /admin/customize/themes/1/common/scss/edit и добавил b, strong { font-weight: bold; } — теперь копирование жирного текста работает! Ура!!
В любом случае, похоже, это проблема совместимости CSS между Discourse и Google Docs при вставке жирного текста. Фух!