shell_label	shell_id	shell_id_HREF
bash	bash-74c597dd	../shell-id/bash-74c597dd/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
osh-cpython	osh-e840eb02	../shell-id/osh-e840eb02/
osh-native	osh-eb850e69	../shell-id/osh-eb850e69/