shell_label	shell_id	shell_id_HREF
bash	bash-15a3d804	../shell-id/bash-15a3d804/
dash	dash-0ebcf347	../shell-id/dash-0ebcf347/
osh-cpython	osh-a31ad41e	../shell-id/osh-a31ad41e/
osh-native	osh-07c76e09	../shell-id/osh-07c76e09/
osh-native-souffle	osh-20e91026	../shell-id/osh-20e91026/