Rename HTML file to better show what it is about

This commit is contained in:
2017-08-24 11:12:08 +02:00
parent 508fee4812
commit 8a956a4e85