I use it as well, it shouldn’t be too hard to find by searching “top panel scroll” on the extensions site or something along those lines.