shell_label shell_id shell_id_HREF bash bash-60c6128b ../shell-id/bash-60c6128b/ dash dash-308ec8e6 ../shell-id/dash-308ec8e6/ osh-cpython osh-94dd148e ../shell-id/osh-94dd148e/ osh-native osh-3a961405 ../shell-id/osh-3a961405/