shell_label	shell_id	shell_id_HREF
bash	bash-98f4aa29	../shell-id/bash-98f4aa29/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-54a87e70	../shell-id/osh-54a87e70/
osh-native	osh-953b45cd	../shell-id/osh-953b45cd/