When selecting a Programmer, the selection is saved in the arduino.json file. However, this selection is not restored when loading the project (neither after "Open Folder" nor after a restart of vscode).
It also does not matter which programmer is selected (tested with multiple entries).