P. 2018-03-27 "We’ve covered a lot of the things you can do in Windows 10’s new Bash shell, so we’ve rounded up all those guides into one mega list here" (ib., 2020-05-12)