Make stubs and PDFs showing in jsTree togglable, off by default.