That was it, thanks. Browser reopening didn’t work, but hard refresh did (and clearing Chrome cache on Android).