Wow - I had no idea. That's really useful, and probably much easier to implement by javascripters than something that might be set in nginx.