traurig, dass bun zu mintlify gewechselt ist. Sie hatten vorher eine Menge coole Widgets, wie diesen Kopierbefehl nach Zeilen-Codeblock vorher (benutzerdefiniert) v nachher (mintlify)