Remove OPTIONS_HADDOCK hide in favour for not-home

Authored by adamse on Dec 30 2018, 1:04 PM.