update to latest fsharp-doc