hc_stan is only sharing this with friends.