HTML5 の charset が検出されない

HTML5 形式の HTML ファイルの場合，「HTML/XMLのCharsetを検出する」が ON になっていても，検出に失敗するみたいです。

HTML5 では，

という形式で charset を指定します。

なお，そのせいだと思いますが，「ファイルから検索」を行ったときに，HTML5 のファイルはヒットしません（このことに気づかずしばらく悩みました）。
※「ファイルから検索」ダイアログの「エンコード」を「設定されたエンコードにした場合の話です。