PS/2 wheel mice. Are they supported in Linux yet? I haven't been able to find a mouse setting that makes use of the wheel except as a third button. Turning the wheel doesn't make scroll bars move up and down.