Frequentist coverage of adaptive nonparametric Bayesian credible sets | Synapse