shell_label	shell_id	shell_id_HREF
bash	bash-7b566491	../shell-id/bash-7b566491/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-1e02e778	../shell-id/osh-1e02e778/
osh-native	osh-7df2f8e7	../shell-id/osh-7df2f8e7/