Why is header widget div id “header-ads”?

Making the top header widget be wrapped in a div with id of “header-ads” and a bunch of CSS referencing #header-ads wasn’t very smart when it comes to visitors with adblockers installed on their browsers…