# contributor: Xah Lee (XahLee.org)
# name: rename-file
# key: rename-file
# key: rf
# --
(rename-file FILE$0 NEWNAME &optional OK-IF-ALREADY-EXISTS)