Add `OPTIONS_HADDOCK` snippet