intermittent issue with notification bar failing to update
The service is very slow at the moment. For example, saving a short script is taking 30-60 seconds.
(EDIT: To clarify - as mentioned below, it later turned out the script is in fact saving ok but the green notification bar is sometimes failing to update.)