shell_label	shell_id	shell_id_HREF
bash	bash-92e06b9d	../shell-id/bash-92e06b9d/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-133abe79	../shell-id/osh-133abe79/
osh-native	osh-3c321705	../shell-id/osh-3c321705/