Removing an inbox from extindex

[Konstantin Ryabitsev]

Hello:

What's the proper procedure to remove an inbox from extindex? For example, if
I wanted to drop a source from being replicated to lore.kernel.org, how do I
properly remove it from /all/ search results?

-K