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.They are reliable, they have excellent defaults and have made me more productive.I also recommend them on a regular basis.