shell_label	shell_id	shell_id_HREF
bash	bash-098e1162	../shell-id/bash-098e1162/
dash	dash-0ebcf347	../shell-id/dash-0ebcf347/
python2	python2-f0221448	../shell-id/python2-f0221448/
awk	awk-fd77ecb2	../shell-id/awk-fd77ecb2/
opt/osh	_bin/cxx-opt/osh-24b37908	../shell-id/_bin/cxx-opt/osh-24b37908/
bumpleak/osh	_bin/cxx-opt+bumpleak/osh-62b15155	../shell-id/_bin/cxx-opt+bumpleak/osh-62b15155/
opt/osh-souffle	_bin/cxx-opt/mycpp-souffle/osh-2ee7050a	../shell-id/_bin/cxx-opt/mycpp-souffle/osh-2ee7050a/
opt/ysh	_bin/cxx-opt/ysh-0df618bc	../shell-id/_bin/cxx-opt/ysh-0df618bc/