shell_label	shell_id	shell_id_HREF
bash	bash-cf76e002	../shell-id/bash-cf76e002/
dash	dash-0ebcf347	../shell-id/dash-0ebcf347/
osh-cpython	osh-1752931b	../shell-id/osh-1752931b/
osh-native	osh-9accd034	../shell-id/osh-9accd034/
osh-native-souffle	osh-6aec3f7d	../shell-id/osh-6aec3f7d/