David Krieger

As for renaming `python3` to `$(PYTHON)`, I thought `python3` is the official executable name that will be installed on all systems; why would we want to allow it to be...

> There's no guarantee that "the first thing we find on the path called `python3`" is even the [desirable python](https://www.python.org/dev/peps/pep-0394/) (more importantly, it's likely _not_ where you want to search...