Add `highlight-defined'.