ParentFull thread0manrho·I have a perhaps overly simplistic question, but how is this meant to be pronounced? A-star? Ah-sterisk?View on HN