Piet on "Twenty Thirteen Header Image on small devices wont resize"

I just posted a "how to" on making responsive images for the 2013 header image. It's a part 1 (which only deals with media queries, so no real resizing of the images yet) and I'm working on part 2 now.
If you're interested you can read it at http://wpti.ps/?p=347