Add an extension option.