shell_label shell_id shell_id_HREF bash bash-9fe17358 ../shell-id/bash-9fe17358/ dash dash-308ec8e6 ../shell-id/dash-308ec8e6/ osh-cpython osh-867506b5 ../shell-id/osh-867506b5/ osh-native osh-2f60b779 ../shell-id/osh-2f60b779/