Fix typo
Make Flyspell less chatty
Add LaTeX inline math pair to Org mode
Update ProofGeneral
Add bindings for find-* commands

Quickly find the source of a function/variable with C-h F and C-h V
respectively.