Somewhat related: I wish GWT had a "pattern" removal. With one of my sites, by the time I noticed that certain pages were missing the "noindex" tag Google happ

Somewhat related: I wish GWT had a "pattern" removal. With one of my sites, by the time I noticed that certain pages were missing the "noindex" tag Google happily indexed over 4000 pages. Considering the rate Google is crawling those pages it may take years to be removed from the index. Obviously, submitting each link one by one is rather tedious. Hopefully the author is going to release that extension after Google fixes this bug. I may actually bother clicking 4K times just to see that site "fixed"...