shell_label	shell_id	shell_id_HREF
bash	bash-9cc02a91	../shell-id/bash-9cc02a91/
dash	dash-0ebcf347	../shell-id/dash-0ebcf347/
python2	python2-fa3b2bf5	../shell-id/python2-fa3b2bf5/
opt/osh	_bin/cxx-opt/osh-d4624c25	../shell-id/_bin/cxx-opt/osh-d4624c25/
opt/osh-souffle	_bin/cxx-opt/mycpp-souffle/osh-a9bc3dd5	../shell-id/_bin/cxx-opt/mycpp-souffle/osh-a9bc3dd5/
bumpleak/osh	_bin/cxx-opt+bumpleak/osh-66c7e8e1	../shell-id/_bin/cxx-opt+bumpleak/osh-66c7e8e1/