@Зонтик убрать на ruSO, но я не уверен, что оно будет убираться на англоязычных сайтах. Ну и это всё равно пока на уровне догадок и предположений. В любом случае, если проблема одного вопроса перестаёт быть актуальной, это не повод закрывать другой как "дубликат". Можно будет позже закрыть как "Не удаётся воспроизвести", но ни в коем случае не "дубликат".