Refine the documentation of Flymake