Hi all,
For the record, we've been able to confirm that our fixes, which were already deployed Thursday, immediately addressed the issue on our end. Google also picked up the updated robots.txt already on December 4, according to Google Webmaster Tools. GoogleBot, for better or for worse, nowadays executes JavaScript, which caused it to index the banner text since the JS was not blacklisted prior to December 4. We've pinged our Google contacts about faster re-crawling of impacted pages; will follow up further on that front.
Erik