Settings that should be set to defaults in a pretext document: - snippets to bottom - completions off, etc.
