This reverts commit 49327d78.

Merge remote-tracking branch 'origin/530-tree-change-the-hide-tree-button-by-a-more-intuitive-toggle-button-display-the-btn-in-the-lateral-bar' into dev

Merge remote-tracking branch 'origin/604-user-page-fix-the-error-message-when-the-page-loads' into dev

Merge remote-tracking branch 'origin/568-node-content-breadcrumb-display-the-full-path-of-a-node-as-a-breadcrumb-with-each-clickable-parent' into dev

For ngrams table, we set ngramsValidPatch = mempty because the table
is refreshed and we have issue
#594

However, we need to keep that field, it turns out, because we have
#598

Recently applied patches are needed for the document ngrams
highlighting.

This all would be unnecessary (or at least moved to the backend) if we
had
#553

This reverts commit 058fa2fe.