My mouse wheel didn't work post-install. I believe that it's essentially a Mouseman+, so that's what I chose. Closer investigation showed that the "ZAxisMapping" line was commented out of XF86Config but not XF86Config-4. Uncommenting it did the job.
Too late to fix now.