Thanks, Andy. For my part, thanks very much for porting the STL. I was starting to do it when I heard about your version. You saved me a lot of work and almost certainly did a better job. 
I love the STL, admittedly it doesn't get used every day on the Arduino, but that's a bit of a pity. I found recently that the string class uses somewhat less program memory than the String class, so it's a shame it isn't shipped with the system.