#1878: disable haddock from dist-f12