replace Haddock hide pragma with not-home to make the Haddocks more readable

assigned to @adamse

Thanks for your patching! I have no preference between the change. But it would be better if we have a warning to remind people don't use this directly after we cut to not-home.

added 1 commit

• c1450d3c - replace Haddock hide pragma with not-home to make the Haddocks more readable

Compare with previous version

added 4 commits

• c1450d3c...f487b8de - 3 commits from branch master
• 8517a07b - replace Haddock hide pragma with not-home to make the Haddocks more readable

Compare with previous version

merged