TL;DR: An internet executes “man time” in Bash 3.2 on an old BSD machine (that version of Bash is over 10 years old), wants to use the BSD-specific -l option, b

TL;DR: An internet executes “man time” in Bash 3.2 on an old BSD machine (that version of Bash is over 10 years old), wants to use the BSD-specific -l option, but finds out that “time” is also a shell builtin.