shell_label	shell_id	shell_id_HREF
bash	bash-15a3d804	../shell-id/bash-15a3d804/
dash	dash-0ebcf347	../shell-id/dash-0ebcf347/
python2	python2-28c77270	../shell-id/python2-28c77270/
awk	awk-07c76e09	../shell-id/awk-07c76e09/
opt/osh	_bin/cxx-opt/osh-20e91026	../shell-id/_bin/cxx-opt/osh-20e91026/
bumpleak/osh	_bin/cxx-opt+bumpleak/osh-1ed6d1b0	../shell-id/_bin/cxx-opt+bumpleak/osh-1ed6d1b0/
opt/osh-souffle	_bin/cxx-opt/mycpp-souffle/osh-2267b5f1	../shell-id/_bin/cxx-opt/mycpp-souffle/osh-2267b5f1/
opt/ysh	_bin/cxx-opt/ysh-a51642fb	../shell-id/_bin/cxx-opt/ysh-a51642fb/