Iāve noticed recently that on web (Chrome, Windows 10) I have to Ctrl-s
to get changes to be pulled down. They used to automatically get pulled down after ~30s to a minute, but now sometimes no matter how long I wait they never get pulled down on their own.
Has anything changed recently that could have caused this?