With this, all default filename formats specify an '{extension}'
and PathFormat.set_extension() reliably works for all files.
With this, all default filename formats specify an '{extension}'
and PathFormat.set_extension() reliably works for all files.