Add some explanation when `make update` needs to be run again.

2 spaces is the most common indentation width used in the docs; adjust
the rest for consistency.

Also change .editorconfig accordingly.

Resolves #1929

* use tabs instead of spaces
* use jsonfilter for speed