The format of the renamed files is now configurable

This is not very user-friendly, though.