Re: [webkit-dev] minor tool improvement ideas (sharing my personal list)