Have also tweaked how the possible file names are generated, to make it easier to add more file extensions (I'm thinking this should be user-configurable via the settings, so I'll try to look into adding that sometime soon - this would also close #31).
Have also tweaked how the possible file names are generated, to make it easier to add more file extensions (I'm thinking this should be user-configurable via the settings, so I'll try to look into adding that sometime soon - this would also close #31).