shell_label	shell_id	shell_id_HREF
bash	bash-1c0bb80f	../shell-id/bash-1c0bb80f/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-bc97a00c	../shell-id/osh-bc97a00c/
osh-native	osh-a361c83a	../shell-id/osh-a361c83a/