shell_label	shell_id	shell_id_HREF
bash	bash-62d8318f	../shell-id/bash-62d8318f/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-a43db12e	../shell-id/osh-a43db12e/
osh-native	osh-ac592819	../shell-id/osh-ac592819/