Ok, I may try Mint.
You're right that I mixed up the Vivaldi repo (maybe you are the one who pointed that out on the thread I linked). But even after fixing that, it's still not working---slightly different warning message, but still about gpg.