Closed
Description
By the way, I've just observed that it is also not possible to create or rename a file with .html extension. It can be useful to have the possibility to add .html pages to a project, in order to show and let students experiment the opportunity of different graphic user interfaces and different modules into a same project.
Thanks for all your work and this of others on this great tool!
Originally posted by @Wildernesss in #1741 (comment)
I've noticed that you can upload an html file and rename them, but you cannot create an html file. I believe this is because it's missing from the variable TEXT_FILE_REGEX.