GitHub #93: Rename patch on save, provide default filename to prompter