改名改出了什么
小明用的是 Windows 电脑，没打开扩展名显示，看到桌面上有个叫 hello 的文本文件（它真实的名字是 hello.txt）。他把名字改成了 hello.html。
这个文件真正的名字现在是什么？
提交要求： 只提交最终输出结果，不要添加多余的说明或引号。
小明用的是 Windows 电脑，没打开扩展名显示，看到桌面上有个叫 hello 的文本文件（它真实的名字是 hello.txt）。他把名字改成了 hello.html。
这个文件真正的名字现在是什么？
提交要求： 只提交最终输出结果，不要添加多余的说明或引号。