Yep!
@bob-carpenter We also have nice quality-of-life features that allow you recover the posterior log-probabilities of the marginalised variables, along with sampling from them as a post-processing step. This lets users replicate the analysis in the Stan User’s Guide without needing to do all the equation crunching