A little script to clean up downloaded files

#!/bin/bash
for x in *.<EXTENSION>
  do mv -- "$x" "${x//%2F/ }"
done