shell_label shell_id shell_id_HREF bash bash-59a37119 ../shell-id/bash-59a37119/ dash dash-308ec8e6 ../shell-id/dash-308ec8e6/ osh-cpython osh-1d9e6a25 ../shell-id/osh-1d9e6a25/ osh-native osh-286f7192 ../shell-id/osh-286f7192/