It was a typical inquiry from Steve Davis, a leader of Musk’s Boring Co., who at Twitter reduced expenditures, squeezed vendors and raced to remove top brass and keep rank-and-file workers off ...