shell_label	shell_id	shell_id_HREF
bash	bash-d85f386c	../shell-id/bash-d85f386c/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-ac87bb0a	../shell-id/osh-ac87bb0a/
osh-native	osh-d1f0fa4b	../shell-id/osh-d1f0fa4b/