Tap and hold on “library” file to select Rename.

File for library.txt is listed after a mix of application folders
Rename action selected to permit edit to file name