shell_label	shell_id	shell_id_HREF
bash	bash-05e384ec	../shell-id/bash-05e384ec/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-868a5fcb	../shell-id/osh-868a5fcb/
osh-native	osh-3714974f	../shell-id/osh-3714974f/