Да, именно это и называется тавтологией. 

Подлежащее — часть.

Ответить на Ваш вопрос нам помогла Александра Борисова, кандидат химических наук, научный журналист.

Коронавирус – это группа вирусов. Вирус, который беспокоит сегодня весь мир, – SARS-CoV-2. (Известны также коронавирус SARS-CoV, возбудитель атипичной пневмонии, первый случай заболевания которой был зарегистрирован в 2002 году; коронавирус MERS-CoV, возбудитель ближневосточного респираторного синдрома, вспышка которого произошла в 2015 году.) COVID-19 – болезнь, которую вызывает вирус SARS-CoV-2. В разговорной речи всю эту группу понятий можно называть коронавирусом.

Сравните с названиями других вирусов и заболеваний.

ВИЧ – это вирус. СПИД – это болезнь, которую вызывает ВИЧ.

Грипп – это группа вирусов. Также называют и болезнь, которую вызывает вирус гриппа. А вот свиной грипп, птичий грипп – это уже типы вирусов гриппа (их еще иногда обозначают буквами и цифрами, например свиной грипп H1N1). 

Рекомендации по употреблению названий коронавирус и COVID-19 можно дать такие.

COVID-19 корректно говорить о болезни, но не о вирусе. Коронавирусом можно назвать и вирус, и болезнь (ср. пример с гриппом). 

То есть можно сказать о болезни: У него коронавирус. А если нужно подчеркнуть, что речь идет о самом вирусе, – тогда правильно: коронавирус SARS-CoV-2.

Однако нужно учитывать, что коронавирус в значении 'болезнь' – это разговорное, бытовое употребление. Сочетание  термина COVID-19 со словом коронавирус в бытовом значении 'болезнь' невозможно, а в терминологическом значении 'вирус' неправильно. Нельзя болезнь (комплекс симптомов) называть вирусом. Но допустимо сочетание коронавирусная инфекция COVID-19, потому что инфекция – это болезнь.

В данном предложении запятая перед союзом и ставится потому, что обстоятельство на темном небе относится только к первому простому предложению (сверкнула яркая молния), а оглушительный гром раздался после и в небе.  

Ваш вариант пунктуации корректен.

Спасибо, что Вы выяснили этот вопрос. Сделать добавления мы не можем, ведь на нашем портале опубликован текст свода правил правописания 1956 года. Конечно же, рекомендации в справочниках более поздних лет издания выглядят полнее.

Нам также кажется более логичным вариант с точкой перед прописной буквой (можно даже провести аналогию с оформлением постскриптума). Но и двоеточие тоже можно понять: оно показывает, что слово "справочно" относится к последующему тексту.