diff --git a/public/index.html b/public/index.html
index a04ba84f2c001495fa44b3c361db9eea8fd51f1a..ffd19f3f86e04a83b71d010356289f5ee076e029 100644
--- a/public/index.html
+++ b/public/index.html
@@ -160,7 +160,7 @@ const userLink = {
 		return `--- //[[user:${token.username}]]//`;
 	}
 };
-marked.use({extensions: [userLink]});
+marked.use({extensions: [userLink], mangle: false});
 
 function convert_text() {
 	let input = document.getElementById("text-input").value;