Discrepancy between https://glitch.com/edit/#!/<project name> and Glitch console

Changes, which I see in console are not reflected in

Glitch :・゚✧


app@tortoiseshell-silken-stranger:~ 10:16
$ ls -ltr public/d3cities.html
-rw-rw-r-- 1 app app 2371 Oct 2 09:22 public/d3cities.html

The console and the editor are not synchronized automatically. If you read the message which is displayed when opening the console, you will see that on the third paragraph.

Welcome to the Glitch console

If you’re following someone else’s instructions make sure you trust them.
If in doubt post a question in our forum https://support.glitch.com

For now, the console and the editor don't automatically sync. You can
manually run the `refresh` command and it will force a refresh,
updating the editor with any console-created files.

For more information about this and other technical restrictions,
please see the Help Center: https://glitch.com/help

So, to synchronize your editor and your console, you just have to enter the command refresh in the console and your editor will reload.