It’s not completely inconceivable that ISPs using CG-NAT could keep logs that would allow these users to be deanonymized, but it’s an extra step and they might not have enough information between the Reddit and ISP logs to do it. But… they’d have to be talking to the ISPs anyway, and the ISPs will probably cooperate?
Poor man’s TOR :).
It’s not completely inconceivable that ISPs using CG-NAT could keep logs that would allow these users to be deanonymized, but it’s an extra step and they might not have enough information between the Reddit and ISP logs to do it. But… they’d have to be talking to the ISPs anyway, and the ISPs will probably cooperate?