A reminder of that activity arrived June 1, when Elon Musk's tunnel business published the latest installment of its ...