Downloading target firmware
Thanks Kevin. It eventually downloaded, but it's good to know the target directory if anyone needs to manually download it.
If anyone else needs to manually download the target firmware package... I have the following folders in the above mentioned locatation:
$HOME/.ac6/SW4STM32/firmwares/STM32Cube_FW_F4_V1.13.0
$HOME/.ac6/SW4STM32/firmwares/STM32Cube_FW_F4_V1.13.1
Within these folders are the following; /Documentation, /Drivers, /_htmresc, /Middlewares, /Projects, /Utilities, package.xml, Release_Notes.html