Stan files for models in PosteriorDB

I want to take a look at models in PosteriorDB ( GitHub - stan-dev/posteriordb: Database with posteriors of interest for Bayesian inference ). First, I tried to find a list of all available models. In R

library("posteriordb")
my_pdb <- pdb_local(path = "~/Code/posteriordb/")
pos <- posterior_names(my_pdb)
head(pos)
# [1] "arK-arK"                         "arma-arma11"                    
# [3] "bball_drive_event_0-hmm_drive_0" "bball_drive_event_1-hmm_drive_1"
# [5] "bones_data-bones_model"          "butterfly-multi_occupancy"  

In the full list, I spotted “prostate-logistic_regression_rhs” and “ovarian-logistic_regression_rhs”, which I’m guessing are models with horseshoe priors. But I couldn’t find the specific Stan files under posteriordb/posterior_database/models/stan at master · stan-dev/posteriordb · GitHub . Am I looking at the wrong repo?

Maybe easier to use posteriordb package functions?

"prostate-logistic_regression_rhs" |>
  posterior(my_db) |>
  stan_code_file_path()