--- a/Random.st	Mon Jul 02 08:45:59 2018 +0200
+++ b/Random.st	Tue Nov 13 16:00:39 2018 +0100
@@ -1,5 +1,3 @@
-"{ Encoding: utf8 }"
-
 "
 ======================================================================
 |