shell_label	shell_id	shell_id_HREF
bash	bash-caf38e01	../shell-id/bash-caf38e01/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-dccf8f12	../shell-id/osh-dccf8f12/
osh-native	osh-a6ba31a7	../shell-id/osh-a6ba31a7/