shell_label	shell_id	shell_id_HREF
bash	bash-6c232b00	../shell-id/bash-6c232b00/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-ddd94d30	../shell-id/osh-ddd94d30/
osh-native	osh-e6b23cf2	../shell-id/osh-e6b23cf2/