`make` will soon mean `make build` and `make short` is getting axed. Do you object?

To adhere to Make convention, I have a PR out to change a bare make to mean make build instead of make build test lint. This means make short, which ran make build testshort lintshort, no longer makes sense, so that’s getting axed. (make testshort and make lintshort will continue to exist as standalone targets.)

Does this break your workflow? Please chime in on the PR!

Similarly, let me know if renaming make check to make lint has caused undue hardship. We’re trying to strike a balance between meeting our users’ expectations for how standard Make targets work and preserving existing developer workflows.