Operaが身売りするというので、なんとなくVivaldiを入れてみた。うーんもっさり。 Chrome系（Chrome、最近のOpera、Vivaldiなど）のブラウザでは、ソースの表示に任意のツール（つまりエディタ）が使えない。拡張機能を使ってもできないらしい。これがどうも…