shell_label	shell_id	shell_id_HREF
bash	bash-098e1162	../shell-id/bash-098e1162/
dash	dash-0ebcf347	../shell-id/dash-0ebcf347/
osh-cpython	osh-5e7933d8	../shell-id/osh-5e7933d8/
osh-native	osh-fd77ecb2	../shell-id/osh-fd77ecb2/
osh-native-souffle	osh-24b37908	../shell-id/osh-24b37908/