Not sure if this is strange or intended feature 
… when you copy the file index.php from the Gear icon dropdown, I expect to be like index-copy.php but instead, it showed index.php-copy.
See screenshot attach. Hope I make sense on this.
Normal ‘index’ without file extension is fine but with extension, it’s just strange
