Как запустить программу в Visual Studio Code с помощью плагина Ionide-fsharp?

Question

У меня есть следующая программа hello world в VS Code:

open System

[<EntryPoint>]
let main argv =
    printfn "Hello World from F#!"
    0 // return an integer exit code

Когда я выбираю Run / Run без отладки, VS Code указывает мне выбрать среду. Как выбрать для этого плагин Ionide?

ОБНОВЛЕНИЕ: Ионид установлен установлен