New versions of Ionide and FsAutoComplete are now available with support for #fsharp 9 and #dotnet 9 and the new features therein - including nullability! Go forth and download, friends :)