custom html files not showing

I have a really simple html file in my theme folder that I’m trying to access via the theme editor, but it doesn’t show in the file list. The permissions on the file are '666', but it still doesn’t show.

Any thoughts?

https://ww.wp.xz.cn/plugins/advanced-code-editor/