Georgi: since I haven't gotten my own git mirror of toybox up yet, do you mind if I link to yours from the toybox website? How often is it updated? (I applied Strake's grep commit last night and the git mirror hasn't got it yet. But it's only been ~8 hours. Updated daily, perhaps?) Thanks, Rob 1374689025.0