> Thanks to Evan (who I now owe lunch to) I've just committed a fix for a > garbage collection crash in the console which has been eluding me for > some time. didn't you forget to push it? i can't see the changes. best, gabor