Add an index entry for exec() builtin.

Reported by Draic Kin on docs@.