diff -r b5b2f651a263 -r 96843eb96493 src/Pure/General/bytes.scala
--- a/src/Pure/General/bytes.scala	Tue Jun 11 11:07:48 2024 +0200
+++ b/src/Pure/General/bytes.scala	Tue Jun 11 14:18:19 2024 +0200
@@ -158,7 +158,7 @@
     a
   }
 
-  def text: String = UTF8.decode_permissive(this)
+  def text: String = UTF8.decode_permissive_bytes(this)
 
   def wellformed_text: Option[String] = {
     val s = text