change filename of the text-mode HTML page

This commit is contained in:
wixette 2020-03-07 02:40:37 +08:00
parent 9b082f49b9
commit 116e72f957