Fill in some short documentation for the builtin commands.