Mention flycheck integration