Polynomial randomness implies rational normality

A real $x$ is polynomially random if it satisfies the polynomial-time randomness notion used in the source, and it is rationally normal if it is normal in every rational base $r>1$. Polynomial-randomness conjecture. Every polynomially random real is rationally normal. This would extend the known result that every polynomially random real is absolutely normal, where absolute normality requires normality in all integer bases greater than one; the claim remains open in the source.