From 9ed7764ca78ca38be32fb995ee003bf4dbd33622 Mon Sep 17 00:00:00 2001
From: lda <lda@freetards.xyz>
Date: Sat, 5 Oct 2024 16:15:13 +0200
Subject: [PATCH] Use json with comments*

---
 proposals/4211-webxdc.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/proposals/4211-webxdc.md b/proposals/4211-webxdc.md
index 43b0e9bda..b658188f6 100644
--- a/proposals/4211-webxdc.md
+++ b/proposals/4211-webxdc.md
@@ -21,7 +21,7 @@ Matrix events. More information is available at WebXDC's own specification)
 
 To start a WebXDC event, a client may start by sending a `m.webxdc.start` event, 
 formatted as such:
-```json
+```jsonc
 {
     "content": {
         "name": "Storm on Mt. Ooe", // optional, must be a string
@@ -64,7 +64,7 @@ window.webxdc.sendUpdate(
 );
 ```
 
-```json
+```jsonc
 {
     "content": {
         "m.relates_to": { "event_id": "$WebXDCStart1", "rel_type": "m.webxdc" },