Serving mobile users with nginx

Using nginx, and don't want to use PHP to redirect mobile users to your mobile-optimized site? Well, it's perfectly possible to do detect and redirect them with some nginx configuration file magic.