Explain predicates
Restructure toc of ERT API docs
Fix some markup issues
Add some missing references
Add a section about flycheck-compile
Refine section about trying syntax checkers