Bad link and bad code on https://os.mbed.com/docs/mbed-os/v6.15/apis/platform-concepts.html about mbed-os-5-docs

[0xc0170]

To the remark:

The tree structure is defined https://github.com/ARMmbed/mbed-os-5-docs/blob/development/docs.json where you can find .md files (this is my understanding. Most of the time I check here or just search for the section in the docs folder and edit the markdown file).

I assume docs/api/platform/platform.md needs fixing - the url update, is that it?

[ChrisGooch-Arm]

I have fixed the broken link and created a PR - #1497. Thanks for spotting.

The URL structure of the docs project is driven by the docs.json file as mentioned above, and unfortunately that has led to some differences between the filenames/structure of the project source and the website URLs / structure which may not always be obvious without reference to the json file.

In terms of the code example fix - presumably the code should be using strlen(), not sizeof()?