shell_label	shell_id	shell_id_HREF
bash	bash-57b5e7c7	../shell-id/bash-57b5e7c7/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-a9f990ef	../shell-id/osh-a9f990ef/
osh-native	osh-a6ec413e	../shell-id/osh-a6ec413e/