shell_label	shell_id	shell_id_HREF
bash	bash-853edcf1	../shell-id/bash-853edcf1/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-d85a97bd	../shell-id/osh-d85a97bd/
osh-native	osh-d1bb9f99	../shell-id/osh-d1bb9f99/