I've not found a better way to ask you this question than doing it here (since this is the source of the original English version, I think doing it here is not so bad). Is there an up-to-date ...
thinkksh.md: Added the last part of Section 1.4 (Formal and natural languages); upload to the HTTP server, also to this GitHub repository. thinkbash.md: Added the last part of Section 1.4 (Formal and ...