.vscode's settings.json can get cluttered with installation-specific
settings, which can lead to confusing pull requests. Instead, let's use
the approach outlined here:
https://stackoverflow.com/a/48387809
This provides a set of defaults that people can use, which we can
extend over time.
William Lachance