Hello
The only version that above described method will not give you is the latest development version. We are not giving hal source files for latest development versions, as that is work in progress version that is constantly being changed.
So, it is only possible to download HAL files for dated versions, not latest.
If you choose "Current version", it will give you source files for currently released version (now it is 8.3);
If you chooses "Test versions" it will give you hal files dated (not latest) development and test versions (currently it is 8.4).