Wie schön wäre es, wenn eine solche Nachbearbeitung auch fürs Radio möglich wäre ... Eine Bitte an den Entwickler: wäre es möglich, zum Beispiel durch Färbung des Icons und einen Tooltip, anzuzeigen, wieviele Ersetzungen auf der aktuellen Seite vorgenommen wurden?