shell_label	shell_id	shell_id_HREF
bash	bash-97abd58b	../shell-id/bash-97abd58b/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-83e3155a	../shell-id/osh-83e3155a/
osh-native	osh-bd5932fe	../shell-id/osh-bd5932fe/