[Documentation] links are broken in RSoC site

https://www.redox-os.org/rsoc

Some issues lead to GitHub rather than GitLab.