I was doubting this but theymos actually said it:
I'll probably release Satoshi's PMs and logged IPs addresses in ~8 years. This'd probably be of great historical interest. (Though he always used Tor, as far as I can tell.)
So if that post was in 2013, in about 2021 he would release the data, which in my opinion is an huge mistake. Remember how much criticism Mike Hearn got when he released all these (supposedly real) emails? I think theymos would get a lot of shit from the community if he released that. Even if it would be "safe" to release the tor IP's because tor IP's are pretty useless and due the amount of time that has passed now (I think even a real IP would be useless to de-anonymize him since most ISP don't save logs for that long) it would go against one's privacy, I don't think satoshi would like that. Honestly im curious to see if satoshi ever said anything further when it comes to blocksize, forks and other controversial topics privately, but then again, it's better that we stop worshiping anyone including satoshi and think for ourselves.