Google Reader shutting down July 1

Hm. True enough, I suppose. In fact, it's also true that I never use Google Reader as anything but the back-end syncing source for my various RSS readers, mostly Reeder. Hopefully Marco's right about the ultimate good that will come of this.