I mentioned this down-thread, too, but while it might not be terribly useful for any of us directly, the feedback the Docs team gets from users could be very va

I mentioned this down-thread, too, but while it might not be terribly useful for any of us directly, the feedback the Docs team gets from users could be very valuable when it comes to prioritizing development of new features. So you could think of it as marketing chaff, or think of it as a product team listening to their users. I'm an optimist so I choose the latter. :)