Is it really that much harder to search for than "C", "C++", "C#", "F#", "Go", "Rust", "D"...?

Googling "Fstar programming language" works fine for me.

Didn't say those are more inspired. At least Rust is long enough to not get ignored by the search engines. And some of the older ones have being older than the internet as an excuse.

".NET"

For a language that touts its practicalities, the name isn't a great start. Although F*lang or F***lang (maybe Foq?) seem like reasonable search proxies.

Foq is hilarious, especially given that just today Coq released its website with its new name (Rocq)

Just like with "golang", "FStar" is the query if choice. But don't think you'll find much, if the documentation is in the same state as it was two years ago.

...and that looks like someone is swearing.