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

The replace tool replaces a file with another (no text involved), and from my memory is available for everyone under the dropdown menu next to the Edit button.