Changed plugin-mode in setup.txt from USER to USER_INT. 
This is needed to avoid wrong page-cache output when toctoc_comments option dontSkipSearchEngines  0, which is the default. 
Alternatively one could set dontSkipSearchEngines  1, and let plugin-mo