shell_label	shell_id	shell_id_HREF
bash	bash-c4b7d048	../shell-id/bash-c4b7d048/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-1440c136	../shell-id/osh-1440c136/
osh-native	osh-906914da	../shell-id/osh-906914da/