Petr

@jsoref meanwhile you can join Discord if that's an option for you: https://discord.com/invite/fsharp-196693847965696000

/azp run

@jsoref the tests should be fixed as of now, main has a working version. Just merge or rebase - whatever your workflow here is.

/azp run

/azp run

Oops sorry for a few non-applicable comments, was looking at the wrong place.

Thanks for keeping this up-to-date, Josh :)

Hi @smoothdeveloper, are you still interested in tackling this PR? :)

Awesome work! Any change to get those BSL migrations separately? This would make it more reviewable...

> Sorry if this is not the place for a Hints discussion This IS a place for hints discussion :) > Can hints themselves have tooltips? I think so. As...