Use your favorite editor to rename files