Oh, this makes a number of things clear now. I had been suspecting Reddit ran resource-eating scripts which slow things down and eat memory, and a couple times I caught them running VBScript, which was unusual. and was wondering wtf was going on. These days I turn off Javascript dynamically to stop so many things that are annoying, intrusive, or prying,