2021-03-15, 10:54 AM
Well what do you know. That "hard reload" thing did the trick. That's a new one by me, and I'm not a noob to web stuff 
What is the difference between ordinary reload and "hard reload"? Is reloading the CSS not as aspect of reloading the page? Does reloading the page not also reload all the elements on the page that are in different URLs (IMG_SRC kinds of things?).
This might explain issues I've had in my galleries sometimes where I rotated an image in the source file but on redisplay the browser did not show it as rotated, I wonder.
What is the difference between ordinary reload and "hard reload"? Is reloading the CSS not as aspect of reloading the page? Does reloading the page not also reload all the elements on the page that are in different URLs (IMG_SRC kinds of things?).This might explain issues I've had in my galleries sometimes where I rotated an image in the source file but on redisplay the browser did not show it as rotated, I wonder.