{{ score }}
  # Rename a bunch of files all at once:
# (this uses bash for and sed commands as helpers..)

for fname in *.png ; do mv "$fname"  "$(echo "$fname" | sed  's/OldFilenameSubstring/NewFilenameSubstring/')" ; done;

# (replace *.png with whatever you want.)