Figure out what to do with fsharp.net

[bbatsov]

I've noticed a Discord chat about the legacy site fsharp.net. Seems it hasn't be updated in ages and it might be nice to just redirect it to fsharp.org if possible.

According to https://download.fsharp.net/f-presentation-at-czech-net-group-meeting.html - the owner of the site is Tomáš Petříček. Does someone here know him to discuss the topic with him?

P.S. I'll also feel lucky and mention here @tpetricek. :-)