Make sure we lint stuff when the document is activated or when coverage changes