sharkdp/bat — GitShow