Anyone using Atom, Proto REPL and Joker linter? How can I exclude the REPL tab from Joker? There doesn't seem to be too much documentation about the Joker exclusions.