So over the last two days I sat down and revamped my DokuWiki Toolbox plugin and added a Find&Replace dialog. It has the usual features:
Because I was refactoring anyway, I also improved the sort mechanism to use natural sort. And the word and character count interface got a little face lift as well.
Thanks to the new WebExtension standard, the plugin can now be installed in Chrome and Firefox and maybe one day in MS Edge as well. Once installed, you will find the little orange wrench in every DokuWiki's toolbar you'll edit.