shell_label	shell_id	shell_id_HREF
bash	bash-07c2a815	../shell-id/bash-07c2a815/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-e5184471	../shell-id/osh-e5184471/
osh-native	osh-16f2d56b	../shell-id/osh-16f2d56b/