Broken Links in Documentation

[egdegd]

Several links in the documentation lead to "404 - page not found" errors.

All the affected links have the prefix https://github.com/Kotlin/kotlinx-lincheck/blob/guide/:

Here are the specific links that are problematic:

1. https://github.com/JetBrains/lincheck/blob/0408c8e7db318ba77f027da2fd1ff26264e8f419/docs/topics/introduction.md?plain=1#L173
2. https://github.com/JetBrains/lincheck/blob/0408c8e7db318ba77f027da2fd1ff26264e8f419/docs/topics/introduction.md?plain=1#L255
3. https://github.com/JetBrains/lincheck/blob/0408c8e7db318ba77f027da2fd1ff26264e8f419/docs/topics/sequential-specification.md?plain=1#L52
4. https://github.com/JetBrains/lincheck/blob/0408c8e7db318ba77f027da2fd1ff26264e8f419/docs/topics/progress-guarantees.md?plain=1#L106
5. https://github.com/JetBrains/lincheck/blob/0408c8e7db318ba77f027da2fd1ff26264e8f419/docs/topics/progress-guarantees.md?plain=1#L107
6. https://github.com/JetBrains/lincheck/blob/0408c8e7db318ba77f027da2fd1ff26264e8f419/docs/topics/constraints.md?plain=1#L99
7. https://github.com/JetBrains/lincheck/blob/0408c8e7db318ba77f027da2fd1ff26264e8f419/docs/topics/testing-strategies.md?plain=1#L270
8. https://github.com/JetBrains/lincheck/blob/0408c8e7db318ba77f027da2fd1ff26264e8f419/docs/topics/testing-strategies.md?plain=1#L271
9. https://github.com/JetBrains/lincheck/blob/0408c8e7db318ba77f027da2fd1ff26264e8f419/docs/topics/operation-arguments.md?plain=1#L133

[ndkoval]

@egdegd, thanks for detecting the broken links!

❗ These links reference the guide branch -- they should reference the master one instead.