shell_label	shell_id	shell_id_HREF
bash	bash-c93a7ce4	../shell-id/bash-c93a7ce4/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-b4108ec2	../shell-id/osh-b4108ec2/
osh-native	osh-616b2bea	../shell-id/osh-616b2bea/