2023/09/23 追記：本記事で紹介しているブラウザ拡張「Highlight This !」で大きな UI 変更がありました。UI 変更対応版の紹介は次の記事をご覧ください。 ブラウザ画面上の特定パターンの文字列のマ …