I'll update this article to reflect that, but what's the most efficient way of doing that across all the relevant pages? Just Special:ReplaceText, or are there other tricks I'm not aware of? Edit: I think you need to be a sysop to use Special:ReplaceText, so that's out. --Ernstkm (talk) 03:03, 28 August 2023 (UTC)
Topic on Talk:MediaWiki-Docker/Extension/VisualEditor
Maybe ask at Project:Support desk?
OK, good idea. Thanks.