shell_label	shell_id	shell_id_HREF
bash	bash-be94c773	../shell-id/bash-be94c773/
dash	dash-0ebcf347	../shell-id/dash-0ebcf347/
osh-cpython	osh-1e816b68	../shell-id/osh-1e816b68/
osh-native	osh-03a63c69	../shell-id/osh-03a63c69/
osh-native-souffle	osh-2ca53013	../shell-id/osh-2ca53013/