shell_label	shell_id	shell_id_HREF
bash	bash-9cc02a91	../shell-id/bash-9cc02a91/
dash	dash-0ebcf347	../shell-id/dash-0ebcf347/
osh-cpython	osh-394d19cc	../shell-id/osh-394d19cc/
osh-native	osh-d4624c25	../shell-id/osh-d4624c25/
osh-native-souffle	osh-a9bc3dd5	../shell-id/osh-a9bc3dd5/