Discussion on question by Ashyln Brooke: $\int_{-\infty}^{\infty} \frac{\log|\zeta(\frac{1}{2}+it)|}{\frac{1}{4}+t^2}dt$ where $\zeta$ is the Riemann zeta function