Point fsharp-mode recipe back at main repo