Realisation of the day: add the current time to your shell prompt, and you never need to write `$ time slow_command` again.