Since Mono still seems to be going strong and seems to be one of the official platforms for F#, I'm not sure that something that happened seven years ago is necessarily great proof that they're smothering Mono.
It's proof that Microsoft's intentions towards Mono aren't dependable. They can (and have) changed dramatically, whenever Microsoft wants. Exactly how friendly do you think Microsoft will be if Mono stops being .NET's toehold in non-Microsoft mobile OSes?