From 73a9d15be19ff9bc85468d9f9117d777eb8e2ec5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Yann=20C=C3=A9bron?= <yann.cebron@jetbrains.com>
Date: Mon, 23 Oct 2023 17:44:21 +0200
Subject: [PATCH] snippets.md: fix build issue?

---
 topics/_shared/snippets.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/topics/_shared/snippets.md b/topics/_shared/snippets.md
index a83764df3..cde796bb2 100644
--- a/topics/_shared/snippets.md
+++ b/topics/_shared/snippets.md
@@ -24,7 +24,9 @@
 
 <snippet id="pluginDevKitAvailability">
 
-> When using IntelliJ IDEA 2023.3 or later, the <control>Plugin DevKit</control> plugin must be installed from JetBrains Marketplace ([Plugin Homepage](https://plugins.jetbrains.com/plugin/22851-plugin-devkit))
+_Plugin DevKit_ plugin is bundled with IntelliJ IDEA until 2023.2.
+
+> When using IntelliJ IDEA 2023.3 or later, the _Plugin DevKit_ plugin must be installed from JetBrains Marketplace ([Plugin Homepage](https://plugins.jetbrains.com/plugin/22851-plugin-devkit))
 > as it is no longer bundled with the IDE.
 >
 {title="Plugin DevKit Availability" style="warning"}