Mazur–Rubin's central limit conjecture for modular symbols

Let $f\in S_2(\Gamma_0(q))$, let $c$ tend to infinity through positive integers satisfying $(c,q)=d$, where $d$ divides $q$, and let $a$ range over $(\mathbb Z/c\mathbb Z)^*$. Let $C_f$ and $D_{f,d}$ be the variance slope and variance shift from the preceding variance conjecture. Mazur–Rubin's central limit conjecture. The limiting distribution of the data

$$\frac{\langle a/c\rangle}{(C_f\log c+D_{f,d})^{1/2}}$$

is the standard normal distribution. This is the conjectured normal distribution for modular symbols at fixed level gcd class; the supplied text gives no resolution status.