shell_label	shell_id	shell_id_HREF
bash	bash-4a5456d7	../shell-id/bash-4a5456d7/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-f899beb1	../shell-id/osh-f899beb1/
osh-native	osh-d1dc6870	../shell-id/osh-d1dc6870/