@gruber I fully agree with X being a stupid name. Musk took an iconic, distinctive brand name that had also become a verb and replaced it more or less an ambiguous variable, out of which you can’t really derive any useful non-awkward verbs or nouns. Such a waste.