we're overhauling the Stan Project's website (mc-stan.org), and would like to use elements from your "getting started" page. OK to do so?