Calibrated Bayesian credible intervals for binomial proportions. Issue 1 (2nd January 2020)