The WebTerm terminal implements these commands. Each one runs in the browser and cannot touch the files on your machine. Commands worth learning first are marked ★, and the ones you meet next ☆.