batch-rename is Public Domain