Minor whitespace cleanup, push the $PATH out of the Matrix (which is
more aligned with Github Actions), and make the list of tasks more
obvious.