Comment by bapak

How bad was the problem that they had to set up a browser extension for this specific problem? It's not something DNS alone can fix due to HSTS