User blog comment:Rappy 4187/Technical Update: April 27, 2016/@comment-9380534-20160428134412/@comment-24473195-20160428163620

Is the replace tool the thing that replaces a file with another? Or is it the the "replacetext" extension. If it is the latter then that is better implemented as a Javascript tool because it is definitely not used by many people. I'm not even sure where it is / was or if it was only enabled on demand by asking staff.