Ripple and the civil actions against it have been removed from the SEC’s records.