VS Code plugin can run the wrong PRG file if multiple PRGs exist in the bin/ directory: Status History

Below is the history of changes to this idea's status. Return to the idea.