shell_label shell_id shell_id_HREF bash bash-652c0dcc ../shell-id/bash-652c0dcc/ dash dash-308ec8e6 ../shell-id/dash-308ec8e6/ python2 python2-9498128c ../shell-id/python2-9498128c/ opt/osh _bin/cxx-opt/osh-606ca623 ../shell-id/_bin/cxx-opt/osh-606ca623/ bumpleak/osh _bin/cxx-opt+bumpleak/osh-606ca623 ../shell-id/_bin/cxx-opt+bumpleak/osh-606ca623/