Windows shell extension for replacing selected file with a file from a predefined set