You are correct. The first version of the article that appeared on the terminal cited 3.5 Billion. Infact the entire article has significantly changed since it

You are correct. The first version of the article that appeared on the terminal cited 3.5 Billion. Infact the entire article has significantly changed since it was first published:)