Wondering. I don't have contact info for him other than email, and he vanished somewhat abruptly from the list. No git checkins since then either. Never responded to my ping about a #busybox channel on freenode (not that he ever did irc before)... Vacation, do you think? Rob