https://puresourcecode.com/news/fsharp-5-and-fsharp-tools-update/