Hide instances by default (#698)

[Lysxia]

Fixes #698.

[alexbiehl]

I think this makes class heavy modules easier to browse, thank you. As in the other PR yoi need to update the tests.

[Lysxia]

Is there a command to update the tests?

[alexbiehl]

Yes, you can use the accept flag: html-test -a should do the trick!

[Lysxia]

Works like a charm.

[ntc2]

Is there anything holding this PR back? Really looking forward to this change!

[Lysxia]

Why was this closed?

[ntc2]

This PR was closed accidentally, see this comment for how to reopen.

[Lysxia]

Thanks for the pointer! I've changed the target branch to ghc-8.4 but I can't see the option to reopen the PR.

[ntc2]

@Lysxia If you tried the EDIT button, and you looked for a "reopon" button when you add a comment, then I'm not sure. You could try adding another (pointless) commit to this PR, or create a new PR that references this one for context.

I don't have admin permissions on this repo, but perhaps someone who does could reopen it? But Googling a bit, I get the impression that GitHub is restrictive when it comes to reopening PRs, at least if they've been merged (not the case here). So if you can't reopen it, I doubt anyone else can.

[gbaz]

Indeed the reopen button is disabled with the message "the hide-instances branch was force-pushed or recreated". All the closed PRs will have to be rebased and resubmitted I think?

[Lysxia]

I might have been available if I didn't force push first. Reopened in #823.