shell_label	shell_id	shell_id_HREF
bash	bash-745b7a08	../shell-id/bash-745b7a08/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-983c9079	../shell-id/osh-983c9079/
osh-native	osh-a2a0fddb	../shell-id/osh-a2a0fddb/