Update dependency org.jetbrains:markdown to v0.7.2 (#843)

This PR contains the following updates:

| Package | Type | Update | Change |
|---|---|---|---|
| [org.jetbrains:markdown](https://togithub.com/JetBrains/markdown) |
dependencies | patch | `0.7.0` -> `0.7.2` |

---

> [!WARNING]
> Some dependencies could not be looked up. Check the Dependency
Dashboard for more information.

---

### Release Notes

<details>
<summary>JetBrains/markdown (org.jetbrains:markdown)</summary>

###
[`v0.7.2`](https://togithub.com/JetBrains/markdown/blob/HEAD/CHANGELOG.md#072)

-   Fixed handling of html entities inside mathematical expressions

###
[`v0.7.1`](https://togithub.com/JetBrains/markdown/blob/HEAD/CHANGELOG.md#071)

-   Fixed parsing of code spans with backslashes and spaces
- Updated mathematical expressions in GFM to trim surrounding backticks
and whitespaces

</details>

---

### Configuration

📅 **Schedule**: Branch creation - At any time (no schedule defined),
Automerge - At any time (no schedule defined).

🚦 **Automerge**: Enabled.

♻ **Rebasing**: Whenever PR becomes conflicted, or you tick the
rebase/retry checkbox.

🔕 **Ignore**: Close this PR and you won't be reminded about this update
again.

---

- [ ] <!-- rebase-check -->If you want to rebase/retry this PR, check
this box

---

This PR has been generated by [Renovate
Bot](https://togithub.com/renovatebot/renovate).

<!--renovate-debug:eyJjcmVhdGVkSW5WZXIiOiIzNy4zNTEuNCIsInVwZGF0ZWRJblZlciI6IjM3LjM1NC4wIiwidGFyZ2V0QnJhbmNoIjoibWFpbiIsImxhYmVscyI6W119-->

gradle/libs.versions.toml

@@ -111,7 +111,7 @@ jgrapht = "org.jgrapht:jgrapht-core:1.5.2"
 jna = { module = "net.java.dev.jna:jna", version.ref = "jna" }
 jna-platform = { module = "net.java.dev.jna:jna-platform", version.ref = "jna" }
 junit = "junit:junit:4.13.2"
-markdown = "org.jetbrains:markdown:0.7.0"
+markdown = "org.jetbrains:markdown:0.7.2"
 moshi = { module = "com.squareup.moshi:moshi", version.ref = "moshi" }
 okhttp = { module = "com.squareup.okhttp3:okhttp", version.ref = "okhttp" }
 okhttp-bom = { module = "com.squareup.okhttp3:okhttp-bom", version.ref = "okhttp" }