Sometimes, it is desirable to make a change on all, or many, pages in a single work, on Wikisource.
We need a gadget or script that allows changes such as find-and-replace, across sets of related pages; analogous to VisualFileChange.js on Wikimedia Commons.
It should work on body text, but also (optionally?) in headers and footers.
This was first mooted at: https://en.wikisource.org/wiki/Wikisource:Scriptorium/Archives/2021-06#Find-and-replace_across_a_whole_work