Друзья! Если кому интересно, то сообщаю:
После открытия мною этой темы в конце ноября я отправил официальный запрос разработчикам. Проблему они зафиксировали, но присвоили багу "низкий приоритет". На вопрос о сроках исправления ничего внятного ответить не могли. И вот сегодня, через почти пол года, статус бага сменился на "в процессе исправления".
Оперативность в решении подобных косяков, как видно, отсутствует. Не жалуюсь и не в обиду разработчикам. Наверняка, у них других проблем хватает. Но опыт интересный. Может кому пригодится. Как исправят - отпишусь.