To me, "Golang" is a good compromise to make material about it searchable. For example, Lean is notoriously hard to find stuff about. Try entering "lean" into HN's search engine:

https://hn.algolia.com/?q=lean

I wish there was a convention to call it "Leanlang" or "leanprover" or something.