shell_label	shell_id	shell_id_HREF
bash	bash-54527a01	../shell-id/bash-54527a01/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-94a1c2fc	../shell-id/osh-94a1c2fc/
osh-native	osh-3ebd63b2	../shell-id/osh-3ebd63b2/