Renaming BLEMini

Hi,

Digging through the source code, there doesn't seem to be a way (or rather function) to rename the BLEMini device, unlike the BLE Shield or the duo. Is this intended? Is there a way for us to rename it by flashing the firmware? Googling through the CC2540 there does seem to be a way to do this but I'm not seeing it anywhere in the github source files.

Thanks,

Warren