shell_label	shell_id	shell_id_HREF
bash	bash-444e5000	../shell-id/bash-444e5000/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-85b125cd	../shell-id/osh-85b125cd/
osh-native	osh-9efeaa5a	../shell-id/osh-9efeaa5a/