shell_label	shell_id	shell_id_HREF
bash	bash-88481d82	../shell-id/bash-88481d82/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-47e1b8be	../shell-id/osh-47e1b8be/
osh-native	osh-813231d4	../shell-id/osh-813231d4/