Art Kavanagh

“Talk about books” newsletter

Follow @artkavanagh on

In iOS 12 (on iPad), I used to use Federico @viticci’s Rename files shortcut to change the filename extension (eg from .txt to .html and vice versa). Having spent 5 months without an iPad, I’ve either forgotten how to do it or something’s changed. I’d be grateful for suggestions.