[Merged by Bors] - Link demo docs on the main docs page

[sbernauer]

I hope this improves SEO, as all our great demos are not scraped by Google at the moment

Description

Please add a description here. This will become the commit message of the merge request later.

Review Checklist

• [ ] Code contains useful comments
• [ ] (Integration-)Test cases added (or not applicable)
• [ ] Documentation added (or not applicable)
• [ ] Changelog updated (or not applicable)
• [ ] Cargo.toml only contains references to git tags (not specific commits or branches)

Once the review is done, comment bors r+ (or bors merge) to merge. Further information

[sbernauer]

bors r+

[bors[bot]]

Pull request successfully merged into main.

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here. For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

• Run Rustfmt