I suggest to add $file().ext that returns the extension of the file. This will facilitate a lot of scripts to extract the extension from a path/file.

There're many ways using scripts to return the extension of a file, but i think is better to add a prop ext to $file() smile