Спасибо @hugovk за сообщение об этом.
Этот PR исправляет цвет выделения для тёмной темы.
Эта тема закроется через несколько дней.