So, this is kind of embarrassing. I actually did make a note. I would have forgotten to get back to this otherwise. But I might as well have googled it immediately. It took like 2 minutes to find that there are lots of plugins that suppress the infinite scroll. Nothing for me to contribute, I guess.