shell_label	shell_id	shell_id_HREF
bash	bash-c9d2e3cf	../shell-id/bash-c9d2e3cf/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-fb41f8ba	../shell-id/osh-fb41f8ba/
osh-native	osh-8147b132	../shell-id/osh-8147b132/