@ianthetechie Glad to hear that the spacing matters to native speakers too! And thanks for suggesting “wall clock time”—it's a very clear alternative.