shell_label	shell_id	shell_id_HREF
bash	bash-191d6d62	../shell-id/bash-191d6d62/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-b78c2e9e	../shell-id/osh-b78c2e9e/
osh-native	osh-b9d4b1fb	../shell-id/osh-b9d4b1fb/