"shell_label","shell_id","shell_id_HREF"
"bash","bash-8b7c20ff","../shell-id/bash-8b7c20ff/"
"dash","dash-308ec8e6","../shell-id/dash-308ec8e6/"
"osh-cpython","osh-fe7e04de","../shell-id/osh-fe7e04de/"
"osh-native","osh-c515a50c","../shell-id/osh-c515a50c/"