Questions for the community:
* Do we need LGTM? Is it useful? Can you give us an example of a problem found by LGTM that would not have been found otherwise?
* Does anyone have any experience with CodeQL? How is it?
If LGTM isn't useful, I'd like to get rid of it.
If LGTM is useful, I'll merge the PRs (and remove .lgtm.yml from our repos)
Or perhaps there is a better tool we should use instead?