cambiar la extension de un archivo desde el nombre

[ff567]

Uso la app astro para eso pero queria saber si hay otras app

[Klim]

Creo que la mayoría de exploradores de archivos te lo van a dejar hacer, como ES File Explorer o Root Explorer