shell_label	shell_id	shell_id_HREF
bash	bash-40fbcc6f	../shell-id/bash-40fbcc6f/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-d57fb636	../shell-id/osh-d57fb636/
osh-native	osh-0f94b3d9	../shell-id/osh-0f94b3d9/