FF's built-in smooth-scrolling features no longer seem to work, so I've returned to this extension, which had gotten unreliable—and now it works! Yay!