re #10661 If file removed from github, remove from appdata instrument
re #10661 remove linux warning
re #10661 remove linux warning
Merge remote-tracking branch 'origin/feature/10661_support_inst_repo_file_removal'