+ *.lean
- flycheck*.lean
- .#*.lean
- ffi.lean
