I agree with your observation that "the behavior of the OS depends very much on the libraries in use." I have also had no luck finding mbedOS documentation, but the nRF52840 documentation is very good and helpful.
Thank you for the link to your previous discussion. Before posting my question, I had searched through the forums a bit, and had already seen and bookmarked your response.