rstan vignetter revamp