Lots of changes, mostly flycheck + tags