Thank you for the bug report Pietro. This is a known issue, specifically that file changes in the web UI are not automatically synced in the client.
Thank you for the bug report Pietro. This is a known issue, specifically that file changes in the web UI are not automatically synced in the client.