Disable tex syntax-based foldings; seems to slow things down