Updated dead links, references to the "core", added more info on supported boards and corrected markdown.corrected form.

[pra-dan]

No description provided.

[pra-dan]

Both the links redirect to different archived repositories but containing the same source code.

[per1234]

They are not different repositories. The arduino-org/Ciao repository was transferred to bcmi-labs/Ciao (because the arduino-org organization has been phased out). bcmi-labs is one of Arduino's official organizations. There is no longer an arduino-org/Ciao repository. So the link: https://github.com/arduino-org/Ciao just redirects to https://github.com/bcmi-labs/Ciao. So why not make things clear by using the actual URL of the repository? It's also possible that the redirect will break at some time in the future, breaking your link. So let's use the link we know will stay good.

[pra-dan]

I have merged the mentioned changes.

[pra-dan]

Thanks for letting me know. Please have a look at it now.

[pra-dan]

@per1234 should I revert the changes made to the links (although corrected by you and already merged by me) and instead create a new PR for the markdown edits? Please let me know :)

[per1234]

Atomic commits and atomic pull requests are definitely a good thing, but in this case I think the changes are closely related enough that its reasonable for them to be in a single pull request. I'm not assigned to merging pull requests, so the opinion of the person doing the merge will be most important. I'm sure they'll let you know if they would like the PR split up.

[CLAassistant]

All committers have signed the CLA.