Thanks, David Peter
Thanks, sharkdp, as well as burntsushi. First thing I do on any machine I work with is to install all their tools.<p>They are reliable, they have excellent defaults and have made me more productive.<p>I also recommend them on a regular basis.