shell_label	shell_id	shell_id_HREF
bash	bash-08d30a70	../shell-id/bash-08d30a70/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-7827dcf4	../shell-id/osh-7827dcf4/
osh-native	osh-dadeb5b0	../shell-id/osh-dadeb5b0/