A wise mammal once said: there's no point knowing what you want if you don't know how to ask for it. In my case: I have some opinions about the need for a Flarum extension, but I can't search for it because I don't know the words. What do we call the scroll-thing on the side of a list of posts that magically lazy-loads more posts and keeps track of where you're up to as you read? It's very clever, very responsive... and a real disaster for making some of the changes I'd like to make to Flarum via an extension! I was hoping to find an extension that switches it off, so I could copy its technique as a first step to building an extension to allow nested Reddit-style or Facebook-style threaded comments. I'm pretty sure it makes nested threads impossible while it's switched on! So help me, Obi-Flarum: what is it called, and -- if you're kind enough to save me some extra searching -- how do I deactivate it via code?