shell_label	shell_id	shell_id_HREF
bash	bash-84a2c760	../shell-id/bash-84a2c760/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-a72d05dc	../shell-id/osh-a72d05dc/
osh-native	osh-24ec19c2	../shell-id/osh-24ec19c2/