shell_label	shell_id	shell_id_HREF
bash	bash-2f68391d	../shell-id/bash-2f68391d/
dash	dash-308ec8e6	../shell-id/dash-308ec8e6/
python2	python2-291f8243	../shell-id/python2-291f8243/
opt/osh	_bin/cxx-opt/osh-51150f91	../shell-id/_bin/cxx-opt/osh-51150f91/
bumpleak/osh	_bin/cxx-opt+bumpleak/osh-51150f91	../shell-id/_bin/cxx-opt+bumpleak/osh-51150f91/