Proposed mass bug filing for webkitgtk/webkitgtk3 package removal