Yeah, what you stated it's already known and acknowledged for long time.
This put a high amount of BTC at risk from a harvest now, decrypt later attacks.
As reminder, Bitcoin does not use encryption cryptography.
How many documented addresses have been shown to be cracked?
None. AFAIK you need quantum computer (with sufficient qubits and very low/zero error rate) to try get private key from public key