shell_label	shell_id	shell_id_HREF
bash	bash-7d497c31	../shell-id/bash-7d497c31/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-924cd099	../shell-id/osh-924cd099/
osh-native	osh-dfede852	../shell-id/osh-dfede852/