Download RTEMS page should direct how to get main
Summary
The download page references the devel branch, which is already confusing since we have never had a branch named that, but also refers to main. But there's no indicator how to "download" that branch. There should be a section for the development branch of RTEMS that probably links to the main branch in the gitlab but also may link to the Development page on the website.