Both versions now use stan_summary()