Source download missing file

I created a project targeting the nRF52840 DK with a HTS221 temperature and humidity sensor. It worked fine on the nRF52840 board wired to the HTS221 sensor. Then I wanted to try to download the source and modify some of the HTS221 sensor configuration settings.

Since this uses Mbed, I thought I should be able to use Mbed Studio to build a local version on my Windows 10 workstation. To do this, I created an empty Mbed OS project, then added the downloaded source and the mbed_app.json file. Mbed Studio appeared to be set up OK with the source files.

My initial build complained the following was missing:
.\source\ble\ble_nordic.cpp:4:10: fatal error: ‘ble/GapAdvertisingData.h’ file not found
#include “ble/GapAdvertisingData.h”

I don’t know if this was intentional. I did not find the GapAdvertisingData.h file in what was downloaded.

BTW, I was using the DigiKey IoT version of Atmosphere. I assume it would be completely up to date.

Thanks, Max