2020-01-22, 21:22 (This post was last modified: 2020-01-22, 21:24 by Gerald Lasser.)
(2020-01-22, 18:21)Orion Pobursky Wrote: You have force reload everything, not just simply reload. On Firefox (and I think Chrome too), you can do this by doing ctrl-shift-R.