Update intro.md - typos, repetition removals.
Update intro.md - fixing some typos and removing some repetitions. And some other minor textual changes/improvements.
Our GitLab instance will have an OS upgrade on 2024-12-30 at 12:00. A couple of hours of downtime must be expected. Happy holidays, everyone
Update intro.md - fixing some typos and removing some repetitions. And some other minor textual changes/improvements.