Use pos-tip for nicer tool-tips
Don't need these latex sync files anymore
Fix the latex configuration
Snippets