Встроенный в Brave Tor перестал работать. Нашёлся другой вариант: VPN сервис BROWSEC, устанавливается как расширение.
Но сегодня вдруг перестал работать сам Brave - ни одна страница не открывается (и не надо советовать почистить кэш и куки
). Решил попробовать Edge от MS, которым до этого манкировал. И — о, чудо — по субъективному ощущению, он работает даже быстрее, чем Brave при сохранении нужной функциональности; закладки и пароли импортировались, и Browsec для него тоже есть.