shell_label	shell_id	shell_id_HREF
bash	bash-c3c28207	../shell-id/bash-c3c28207/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-7e5d83f3	../shell-id/osh-7e5d83f3/
osh-native	osh-e2080d3e	../shell-id/osh-e2080d3e/