Unable to install Cube HAL in firmware configuration.
This page tells us to install it as an Eclipse Plugin. Obviously, this is not what I will do. But the docs do need updating.
https://www.openstm32.org/Installing%2BSystem%2BWorkbench%2Bfor%2BSTM32%2Bfrom%2BEclipse