Update `HA-tests` with the results of the latest (remotely-done) tests.
Rename `HA-test` to `HA-tests.rst`.

So that GitHub will properly format its contents
as reST and show them in pretty HTML.