From 3f9271f38f49d38a583ec99ec1ddf81a45945e73 Mon Sep 17 00:00:00 2001 From: Clombrong Date: Thu, 26 Jun 2025 21:48:08 +0200 Subject: docs(portal): make comment less weird --- portal/portal.mli | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'portal') diff --git a/portal/portal.mli b/portal/portal.mli index b46a00f..d57a839 100644 --- a/portal/portal.mli +++ b/portal/portal.mli @@ -9,9 +9,7 @@ type socket (** This is the XML namespace of the underlying element stream. You can rely on it on your code, as an escape hatch, but you should probably not, - since the Portal interface is supposed to be agnostic. - - Still, bad implementations exist -- Use with care. *) + since the Portal interface is supposed to be agnostic. *) val xmlns : string (** [header domain portal] sends an initial stream header to the provided [portal] and -- cgit v1.2.3