as a heads up https://www.oilshell.org/blog/2021/01/why-a-new-shell.html links to https://www.oilshell.org/release/latest/doc/idioms.html ("Oil Language Idioms") which is a 404