Advice about Readme file.

From the Readme file:
"You can use this core as a standard mbed library; all APIs are under arduino namespace (so they must be called like arduino::digitalWrite() )"
Has this been tested? Which operating systems: Windows, Linux or Mac? Are there exceptions or issues to watch out for?
Is Case sensitivity a problem on Windows? e.g. string.cpp and String.cpp
From where does the case sensitivity originate? Arduino syntax or ArduinoCore?
To obtain debug symbols for ArduinoCore does the library need recompilation for each target?
If a target is supported by "mbed studio" will the ArduinoCore Library work in this IDE or is it limited to mbed-cli?
Some blog writers have written in glowing terms about ArduinoCore but I feel it is solely based on your readme quoted above. Further sources of information are quite specific in terms of OS or target. Your guidance would be much appreciated.

Start with the README passage about using ArduinoCore-mbed as a standard mbed library and compare it with the repository's documented build targets. Research the questions raised for Windows, Linux, macOS, mbed-cli, mbed Studio, case sensitivity, and debug symbols; done means replacing the broad questions with verified guidance and documented limitations.

Written by the indexing model from the issue text.