shell_label	shell_id	shell_id_HREF
bash	bash-6ce269c8	../shell-id/bash-6ce269c8/
dash	dash-0ebcf347	../shell-id/dash-0ebcf347/
python2	python2-943f5fc6	../shell-id/python2-943f5fc6/
opt/osh	_bin/cxx-opt/osh-0dbd9bab	../shell-id/_bin/cxx-opt/osh-0dbd9bab/
opt/osh-souffle	_bin/cxx-opt/mycpp-souffle/osh-29bfa94b	../shell-id/_bin/cxx-opt/mycpp-souffle/osh-29bfa94b/
bumpleak/osh	_bin/cxx-opt+bumpleak/osh-b1b6c06b	../shell-id/_bin/cxx-opt+bumpleak/osh-b1b6c06b/