Just to log it somewhere: Firefox's bullshit has finally gotten to me, and given the raving of Vivaldi users, and their AI comments, I've installed Vivaldi on my usual devices as a replacement.