Explain how to format and type check.

(cherry picked from commit f8217c9d)