То, чего я опасался, свершилось: вышла новая версия Vivaldi 2.xx с кривым плеером и новой неудобной страницей расширений. Жаль, но, похоже, этого было не миновать: сии решения неудачные - часть движка, и команду Vivaldi винить не в чем. Штош, придется погодить с обновлением Vivaldi на всех устройствах. Возможно, через некоторое время хотя бы баг с плеером исправится.