FIX: crash due to null document_textview
(Occur when start app with an intent or when DEBUG is set: this is since the view of the fragment is not yet created)
Make indexers non-static in LaTeXStringBuilder
Use a non-escaped backslash indexer to correctly pick out \section's