This post has moved to https://tau.gr/archive/posts/2021-06-08-zsh-command-time/.