diff --git a/j/a/add.c b/j/a/add.c
index 11d2424ee2..a38e93b8cc 100644
--- a/j/a/add.c
+++ b/j/a/add.c
@@ -1,6 +1,5 @@
 /* j/1/add.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/a/dec.c b/j/a/dec.c
index 2767a180d1..67eeae9cad 100644
--- a/j/a/dec.c
+++ b/j/a/dec.c
@@ -1,6 +1,5 @@
 /* j/1/dec.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/a/div.c b/j/a/div.c
index 0c5460e96c..5a54d9481a 100644
--- a/j/a/div.c
+++ b/j/a/div.c
@@ -1,6 +1,5 @@
 /* j/1/div.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/a/gte.c b/j/a/gte.c
index 255c0b7a9a..eb7d742ac0 100644
--- a/j/a/gte.c
+++ b/j/a/gte.c
@@ -1,6 +1,5 @@
 /* j/1/gte.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/a/gth.c b/j/a/gth.c
index a8125270dc..b7bd176bb3 100644
--- a/j/a/gth.c
+++ b/j/a/gth.c
@@ -1,6 +1,5 @@
 /* j/1/gth.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/a/lte.c b/j/a/lte.c
index 6c6b515888..3a1d57969e 100644
--- a/j/a/lte.c
+++ b/j/a/lte.c
@@ -1,6 +1,5 @@
 /* j/1/lte.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/a/lth.c b/j/a/lth.c
index 5dec0205cd..dc83ee693a 100644
--- a/j/a/lth.c
+++ b/j/a/lth.c
@@ -1,6 +1,5 @@
 /* j/1/lth.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/a/mod.c b/j/a/mod.c
index e537dc1ee1..2e1ecb9e9a 100644
--- a/j/a/mod.c
+++ b/j/a/mod.c
@@ -1,6 +1,5 @@
 /* j/1/mod.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/a/mul.c b/j/a/mul.c
index 5164ff5837..7bd1ca0ac8 100644
--- a/j/a/mul.c
+++ b/j/a/mul.c
@@ -1,6 +1,5 @@
 /* j/1/mul.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/a/sub.c b/j/a/sub.c
index a5e380756b..83ac7ff426 100644
--- a/j/a/sub.c
+++ b/j/a/sub.c
@@ -1,6 +1,5 @@
 /* j/1/sub.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/b/bind.c b/j/b/bind.c
index 4d88c9d7b2..d3c31e66f5 100644
--- a/j/b/bind.c
+++ b/j/b/bind.c
@@ -1,6 +1,5 @@
 /* j/2/bind.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/b/clap.c b/j/b/clap.c
index 231bd68304..1b76ca648c 100644
--- a/j/b/clap.c
+++ b/j/b/clap.c
@@ -1,6 +1,5 @@
 /* j/2/clap.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/b/drop.c b/j/b/drop.c
index 38f6dda559..2048210c30 100644
--- a/j/b/drop.c
+++ b/j/b/drop.c
@@ -1,6 +1,5 @@
 /* j/2/drop.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/b/flop.c b/j/b/flop.c
index 8032a83fe8..b6fb03f8d9 100644
--- a/j/b/flop.c
+++ b/j/b/flop.c
@@ -1,6 +1,5 @@
 /* j/2/flop.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/b/lent.c b/j/b/lent.c
index 28b5f772bb..e228e6e619 100644
--- a/j/b/lent.c
+++ b/j/b/lent.c
@@ -1,6 +1,5 @@
 /* j/2/lent.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/b/levy.c b/j/b/levy.c
index 01899e293e..e41db6dc09 100644
--- a/j/b/levy.c
+++ b/j/b/levy.c
@@ -1,6 +1,5 @@
 /* j/2/levy.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/b/lien.c b/j/b/lien.c
index 35611091b9..082bc0cc0f 100644
--- a/j/b/lien.c
+++ b/j/b/lien.c
@@ -1,6 +1,5 @@
 /* j/2/lien.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/b/need.c b/j/b/need.c
index a9f407df7a..2b607eca18 100644
--- a/j/b/need.c
+++ b/j/b/need.c
@@ -1,6 +1,5 @@
 /* j/2/need.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/b/reel.c b/j/b/reel.c
index 8f439cfd5d..e1392b88af 100644
--- a/j/b/reel.c
+++ b/j/b/reel.c
@@ -1,6 +1,5 @@
 /* j/2/reel.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/b/roll.c b/j/b/roll.c
index 44d741cc09..278d5320ae 100644
--- a/j/b/roll.c
+++ b/j/b/roll.c
@@ -1,6 +1,5 @@
 /* j/2/roll.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/b/scag.c b/j/b/scag.c
index af408377d2..15e5dc6df3 100644
--- a/j/b/scag.c
+++ b/j/b/scag.c
@@ -1,6 +1,5 @@
 /* j/2/scag.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/b/skim.c b/j/b/skim.c
index 2e5f4cc94b..8c933915fb 100644
--- a/j/b/skim.c
+++ b/j/b/skim.c
@@ -1,6 +1,5 @@
 /* j/2/skim.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/b/skip.c b/j/b/skip.c
index 9dbb6f21c9..15294ff53c 100644
--- a/j/b/skip.c
+++ b/j/b/skip.c
@@ -1,6 +1,5 @@
 /* j/2/skip.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/b/slag.c b/j/b/slag.c
index 33ccd84042..93736b65eb 100644
--- a/j/b/slag.c
+++ b/j/b/slag.c
@@ -1,6 +1,5 @@
 /* j/2/slag.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/b/snag.c b/j/b/snag.c
index 36faceaa5f..fc2bdb81de 100644
--- a/j/b/snag.c
+++ b/j/b/snag.c
@@ -1,6 +1,5 @@
 /* j/2/snag.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/b/sort.c b/j/b/sort.c
index d5264de5d4..cb7ca49a2b 100644
--- a/j/b/sort.c
+++ b/j/b/sort.c
@@ -1,6 +1,5 @@
 /* j/2/sort.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/b/turn.c b/j/b/turn.c
index 052707c249..5489325f10 100644
--- a/j/b/turn.c
+++ b/j/b/turn.c
@@ -1,6 +1,5 @@
 /* j/2/turn.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/b/weld.c b/j/b/weld.c
index 030f38ddd3..53fbce2b20 100644
--- a/j/b/weld.c
+++ b/j/b/weld.c
@@ -1,6 +1,5 @@
 /* j/2/weld.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/c/bex.c b/j/c/bex.c
index fce8e93095..d07d050700 100644
--- a/j/c/bex.c
+++ b/j/c/bex.c
@@ -1,6 +1,5 @@
 /* j/3/bex.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/c/can.c b/j/c/can.c
index c738564c40..ec54397a3b 100644
--- a/j/c/can.c
+++ b/j/c/can.c
@@ -1,6 +1,5 @@
 /* j/3/can.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/c/cap.c b/j/c/cap.c
index 9fd7437da5..12bc537eec 100644
--- a/j/c/cap.c
+++ b/j/c/cap.c
@@ -1,6 +1,5 @@
 /* j/3/cap.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/c/cat.c b/j/c/cat.c
index faf481b401..973119ba95 100644
--- a/j/c/cat.c
+++ b/j/c/cat.c
@@ -1,6 +1,5 @@
 /* j/3/cat.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/c/con.c b/j/c/con.c
index 2351f4fcb6..044ce4a6f9 100644
--- a/j/c/con.c
+++ b/j/c/con.c
@@ -1,6 +1,5 @@
 /* j/3/con.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/c/cut.c b/j/c/cut.c
index 0d5b04ba1a..52a10c654f 100644
--- a/j/c/cut.c
+++ b/j/c/cut.c
@@ -1,6 +1,5 @@
 /* j/3/cut.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/c/dis.c b/j/c/dis.c
index 67fed8823f..71356b7494 100644
--- a/j/c/dis.c
+++ b/j/c/dis.c
@@ -1,6 +1,5 @@
 /* j/3/dis.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/c/dor.c b/j/c/dor.c
index 1be4203a6b..025f651777 100644
--- a/j/c/dor.c
+++ b/j/c/dor.c
@@ -1,6 +1,5 @@
 /* j/3/dor.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/c/end.c b/j/c/end.c
index 4dde2a4796..9ee0f7051c 100644
--- a/j/c/end.c
+++ b/j/c/end.c
@@ -1,6 +1,5 @@
 /* j/3/end.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/c/gor.c b/j/c/gor.c
index 248f9bc28e..88fffb3670 100644
--- a/j/c/gor.c
+++ b/j/c/gor.c
@@ -1,6 +1,5 @@
 /* j/3/gor.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/c/hor.c b/j/c/hor.c
index b343d2638e..2d5d5a333e 100644
--- a/j/c/hor.c
+++ b/j/c/hor.c
@@ -1,6 +1,5 @@
 /* j/3/hor.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/c/lsh.c b/j/c/lsh.c
index 12d644cce2..bdbdb2f8c9 100644
--- a/j/c/lsh.c
+++ b/j/c/lsh.c
@@ -1,6 +1,5 @@
 /* j/3/lsh.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/c/mas.c b/j/c/mas.c
index e4232fea58..81ee41407c 100644
--- a/j/c/mas.c
+++ b/j/c/mas.c
@@ -1,6 +1,5 @@
 /* j/3/mas.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/c/met.c b/j/c/met.c
index 283f21387a..17bbf67703 100644
--- a/j/c/met.c
+++ b/j/c/met.c
@@ -1,6 +1,5 @@
 /* j/3/met.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/c/mix.c b/j/c/mix.c
index 785dcc745f..a5c027b183 100644
--- a/j/c/mix.c
+++ b/j/c/mix.c
@@ -1,6 +1,5 @@
 /* j/3/mix.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/c/mug.c b/j/c/mug.c
index 4c4b404636..22aceee014 100644
--- a/j/c/mug.c
+++ b/j/c/mug.c
@@ -1,6 +1,5 @@
 /* j/3/mug.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/c/peg.c b/j/c/peg.c
index 97ad4dbc53..b7cc1f3bdb 100644
--- a/j/c/peg.c
+++ b/j/c/peg.c
@@ -1,6 +1,5 @@
 /* j/3/peg.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/c/po.c b/j/c/po.c
index 3eac77408f..479fe87c26 100644
--- a/j/c/po.c
+++ b/j/c/po.c
@@ -1,6 +1,5 @@
 /* j/3/po.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/c/rap.c b/j/c/rap.c
index ce0a8348ba..7464288622 100644
--- a/j/c/rap.c
+++ b/j/c/rap.c
@@ -1,6 +1,5 @@
 /* j/3/rap.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/c/rip.c b/j/c/rip.c
index 6fb63e6b02..0b781918b3 100644
--- a/j/c/rip.c
+++ b/j/c/rip.c
@@ -1,6 +1,5 @@
 /* j/3/rip.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/c/rsh.c b/j/c/rsh.c
index ba3573abd9..750af82e75 100644
--- a/j/c/rsh.c
+++ b/j/c/rsh.c
@@ -1,6 +1,5 @@
 /* j/3/rsh.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/c/vor.c b/j/c/vor.c
index d605244161..c5fef3cf6b 100644
--- a/j/c/vor.c
+++ b/j/c/vor.c
@@ -1,6 +1,5 @@
 /* j/3/vor.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/d/by_gas.c b/j/d/by_gas.c
index 3f0e14302e..826a1d9dab 100644
--- a/j/d/by_gas.c
+++ b/j/d/by_gas.c
@@ -1,6 +1,5 @@
 /* j/4/gas.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/d/by_get.c b/j/d/by_get.c
index 2403fbb163..5a97bd860f 100644
--- a/j/d/by_get.c
+++ b/j/d/by_get.c
@@ -1,6 +1,5 @@
 /* j/4/by_get.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/d/by_has.c b/j/d/by_has.c
index 95e9b573b5..1a42abb2b8 100644
--- a/j/d/by_has.c
+++ b/j/d/by_has.c
@@ -1,6 +1,5 @@
 /* j/4/by_has.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/d/by_int.c b/j/d/by_int.c
index 440684e0db..8ac2140373 100644
--- a/j/d/by_int.c
+++ b/j/d/by_int.c
@@ -1,6 +1,5 @@
 /* j/4/by_int.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/d/by_put.c b/j/d/by_put.c
index dd5b23300d..3d712d94a6 100644
--- a/j/d/by_put.c
+++ b/j/d/by_put.c
@@ -1,6 +1,5 @@
 /* j/4/put.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/d/by_uni.c b/j/d/by_uni.c
index 3e11a2a13b..1944650c3f 100644
--- a/j/d/by_uni.c
+++ b/j/d/by_uni.c
@@ -1,6 +1,5 @@
 /* j/4/by_uni.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/d/in_gas.c b/j/d/in_gas.c
index 6db7b7c480..fccbf5c654 100644
--- a/j/d/in_gas.c
+++ b/j/d/in_gas.c
@@ -1,6 +1,5 @@
 /* j/4/gas.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/d/in_has.c b/j/d/in_has.c
index 68d2645c84..0911d9f778 100644
--- a/j/d/in_has.c
+++ b/j/d/in_has.c
@@ -1,6 +1,5 @@
 /* j/4/in_has.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/d/in_int.c b/j/d/in_int.c
index b5e713c928..fcf854d689 100644
--- a/j/d/in_int.c
+++ b/j/d/in_int.c
@@ -1,6 +1,5 @@
 /* j/4/in_int.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/d/in_mer.c b/j/d/in_mer.c
index 798b821034..191b9075ec 100644
--- a/j/d/in_mer.c
+++ b/j/d/in_mer.c
@@ -1,6 +1,5 @@
 /* j/4/in_mer.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/d/in_put.c b/j/d/in_put.c
index bd139244c5..8711e40629 100644
--- a/j/d/in_put.c
+++ b/j/d/in_put.c
@@ -1,6 +1,5 @@
 /* j/4/in_put.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/d/in_tap.c b/j/d/in_tap.c
index 1bb91703ac..e6b3f1470a 100644
--- a/j/d/in_tap.c
+++ b/j/d/in_tap.c
@@ -1,6 +1,5 @@
 /* j/4/in_tap.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/d/in_uni.c b/j/d/in_uni.c
index 8e0bc1e01f..23cb36e22d 100644
--- a/j/d/in_uni.c
+++ b/j/d/in_uni.c
@@ -1,6 +1,5 @@
 /* j/4/in_uni.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/e/aesc.c b/j/e/aesc.c
index c605637a1b..78f44fc8c6 100644
--- a/j/e/aesc.c
+++ b/j/e/aesc.c
@@ -1,6 +1,5 @@
 /* j/5/aes.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/e/cue.c b/j/e/cue.c
index 7500cb77e4..e5eeacfcdf 100644
--- a/j/e/cue.c
+++ b/j/e/cue.c
@@ -1,6 +1,5 @@
 /* j/5/cue.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/e/ed_puck.c b/j/e/ed_puck.c
index ec1937b973..7818997841 100644
--- a/j/e/ed_puck.c
+++ b/j/e/ed_puck.c
@@ -1,6 +1,5 @@
 /* gen164/5/ed_puck.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/e/ed_sign.c b/j/e/ed_sign.c
index bc5c1255eb..f9b144c74e 100644
--- a/j/e/ed_sign.c
+++ b/j/e/ed_sign.c
@@ -1,6 +1,5 @@
 /* gen164/5/ed_sign.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/e/ed_veri.c b/j/e/ed_veri.c
index 6ffb485266..a6ba6fef21 100644
--- a/j/e/ed_veri.c
+++ b/j/e/ed_veri.c
@@ -1,6 +1,5 @@
 /* gen164/5/ed_veri.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/e/jam.c b/j/e/jam.c
index 643479b882..d72cdc3e5f 100644
--- a/j/e/jam.c
+++ b/j/e/jam.c
@@ -1,6 +1,5 @@
 /* j/5/jam.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/e/lore.c b/j/e/lore.c
index 5d4270cfee..dce64cbfa2 100644
--- a/j/e/lore.c
+++ b/j/e/lore.c
@@ -1,6 +1,5 @@
 /* j/5/lore.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/e/loss.c b/j/e/loss.c
index 3b99ac1f91..5eabe67f60 100644
--- a/j/e/loss.c
+++ b/j/e/loss.c
@@ -1,6 +1,5 @@
 /* j/5/loss.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/e/mat.c b/j/e/mat.c
index cb9b009737..c1cc91060a 100644
--- a/j/e/mat.c
+++ b/j/e/mat.c
@@ -1,6 +1,5 @@
 /* j/3/mat.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/e/mink.c b/j/e/mink.c
index 2d30d1e3ad..ffa8ddad3f 100644
--- a/j/e/mink.c
+++ b/j/e/mink.c
@@ -1,6 +1,5 @@
 /* j/5/mink.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/e/mule.c b/j/e/mule.c
index 06a9c363fb..99afc0d34c 100644
--- a/j/e/mule.c
+++ b/j/e/mule.c
@@ -1,6 +1,5 @@
 /* j/5/mule.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/e/parse.c b/j/e/parse.c
index 5b6f18ce09..ad1f636a28 100644
--- a/j/e/parse.c
+++ b/j/e/parse.c
@@ -1,6 +1,5 @@
 /* j/5/parse.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/e/rd.c b/j/e/rd.c
index 8a1cbd4640..41ddab211e 100644
--- a/j/e/rd.c
+++ b/j/e/rd.c
@@ -1,6 +1,5 @@
 /* j/5/aes.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/e/repg.c b/j/e/repg.c
index fcc3d33e5c..75e57b4c9b 100644
--- a/j/e/repg.c
+++ b/j/e/repg.c
@@ -1,6 +1,5 @@
 /* j/5/repg.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/e/rexp.c b/j/e/rexp.c
index a169e79108..726bcdceef 100644
--- a/j/e/rexp.c
+++ b/j/e/rexp.c
@@ -1,6 +1,5 @@
 /* j/5/rexp.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/e/rub.c b/j/e/rub.c
index 84c93c84fc..24f3182722 100644
--- a/j/e/rub.c
+++ b/j/e/rub.c
@@ -1,6 +1,5 @@
 /* j/3/rub.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/e/shax.c b/j/e/shax.c
index 8d345781a0..6c5e78b999 100644
--- a/j/e/shax.c
+++ b/j/e/shax.c
@@ -1,6 +1,5 @@
 /* j/5/shax.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/e/tape.c b/j/e/tape.c
index a3a5d6356b..e96b1b655c 100644
--- a/j/e/tape.c
+++ b/j/e/tape.c
@@ -1,6 +1,5 @@
 /* j/3/tape.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/e/trip.c b/j/e/trip.c
index 2ea24f4cc7..2c37aa2747 100644
--- a/j/e/trip.c
+++ b/j/e/trip.c
@@ -1,6 +1,5 @@
 /* j/5/trip.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/al.c b/j/f/al.c
index 9528ecf2f8..d3f5732d85 100644
--- a/j/f/al.c
+++ b/j/f/al.c
@@ -1,6 +1,5 @@
 /* j/6/al.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ap.c b/j/f/ap.c
index 1491cc0e09..cd2c796e05 100644
--- a/j/f/ap.c
+++ b/j/f/ap.c
@@ -1,6 +1,5 @@
 /* j/6/ap.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/bull.c b/j/f/bull.c
index 09ffdcb0de..57c070db4f 100644
--- a/j/f/bull.c
+++ b/j/f/bull.c
@@ -1,6 +1,5 @@
 /* j/6/bull.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/cell.c b/j/f/cell.c
index d586a6331a..e7a69be9fd 100644
--- a/j/f/cell.c
+++ b/j/f/cell.c
@@ -1,6 +1,5 @@
 /* j/6/cell.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/comb.c b/j/f/comb.c
index 12b767026a..5614c081bb 100644
--- a/j/f/comb.c
+++ b/j/f/comb.c
@@ -1,6 +1,5 @@
 /* j/6/comb.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/cons.c b/j/f/cons.c
index dcf05812e1..f7f4ad3861 100644
--- a/j/f/cons.c
+++ b/j/f/cons.c
@@ -1,6 +1,5 @@
 /* j/6/cons.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/core.c b/j/f/core.c
index e149f68076..3fcadc788d 100644
--- a/j/f/core.c
+++ b/j/f/core.c
@@ -1,6 +1,5 @@
 /* j/6/core.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/cube.c b/j/f/cube.c
index 8955a866c7..cd60ccf15b 100644
--- a/j/f/cube.c
+++ b/j/f/cube.c
@@ -1,6 +1,5 @@
 /* j/6/cube.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/face.c b/j/f/face.c
index 21eb80993f..8ca3130b63 100644
--- a/j/f/face.c
+++ b/j/f/face.c
@@ -1,6 +1,5 @@
 /* j/6/face.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/fine.c b/j/f/fine.c
index 9478cfce7e..44c991391f 100644
--- a/j/f/fine.c
+++ b/j/f/fine.c
@@ -1,6 +1,5 @@
 /* j/6/fine.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/fitz.c b/j/f/fitz.c
index f69c55c370..008ceb3be2 100644
--- a/j/f/fitz.c
+++ b/j/f/fitz.c
@@ -1,6 +1,5 @@
 /* j/6/fitz.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/flan.c b/j/f/flan.c
index a8dcc6ce90..8e19f4f23e 100644
--- a/j/f/flan.c
+++ b/j/f/flan.c
@@ -1,6 +1,5 @@
 /* j/6/flan.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/flay.c b/j/f/flay.c
index 226c770661..2420c869e7 100644
--- a/j/f/flay.c
+++ b/j/f/flay.c
@@ -1,6 +1,5 @@
 /* j/6/flay.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/flip.c b/j/f/flip.c
index e812d3749f..fe0c5e6d4e 100644
--- a/j/f/flip.c
+++ b/j/f/flip.c
@@ -1,6 +1,5 @@
 /* j/6/flip.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/flor.c b/j/f/flor.c
index 4217be6275..26a6146273 100644
--- a/j/f/flor.c
+++ b/j/f/flor.c
@@ -1,6 +1,5 @@
 /* j/6/flor.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/fork.c b/j/f/fork.c
index c5346c5c34..6b4d051bee 100644
--- a/j/f/fork.c
+++ b/j/f/fork.c
@@ -1,6 +1,5 @@
 /* j/6/fork.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/hike.c b/j/f/hike.c
index 3ee3d769ff..d39fc4a902 100644
--- a/j/f/hike.c
+++ b/j/f/hike.c
@@ -1,6 +1,5 @@
 /* j/6/hike.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/look.c b/j/f/look.c
index ec8ad33db0..aeb5768a71 100644
--- a/j/f/look.c
+++ b/j/f/look.c
@@ -1,6 +1,5 @@
 /* j/6/look.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/slot.c b/j/f/slot.c
index 6a0ee3af20..686f149668 100644
--- a/j/f/slot.c
+++ b/j/f/slot.c
@@ -1,6 +1,5 @@
 /* j/6/slot.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/type.c b/j/f/type.c
index d779d4cfa9..f36b813e5e 100644
--- a/j/f/type.c
+++ b/j/f/type.c
@@ -1,6 +1,5 @@
 /* j/6/type.c
 **
-** This file is in the public domain.
 */
 
 /* new template for type switching
diff --git a/j/f/ut.c b/j/f/ut.c
index c07970c7d3..d43a844d05 100644
--- a/j/f/ut.c
+++ b/j/f/ut.c
@@ -1,6 +1,5 @@
 /* j/6/ut.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_burn.c b/j/f/ut_burn.c
index b286c3160c..fb2e2432a8 100644
--- a/j/f/ut_burn.c
+++ b/j/f/ut_burn.c
@@ -1,6 +1,5 @@
 /* j/6/ut_burn.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_busk.c b/j/f/ut_busk.c
index 0bdd3eb9f7..599bb72c1d 100644
--- a/j/f/ut_busk.c
+++ b/j/f/ut_busk.c
@@ -1,6 +1,5 @@
 /* j/6/ut_busk.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_bust.c b/j/f/ut_bust.c
index a5b5407ea1..5fb3d989ac 100644
--- a/j/f/ut_bust.c
+++ b/j/f/ut_bust.c
@@ -1,6 +1,5 @@
 /* j/6/bust.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_conk.c b/j/f/ut_conk.c
index ad7f6fc057..5871f51b0d 100644
--- a/j/f/ut_conk.c
+++ b/j/f/ut_conk.c
@@ -1,6 +1,5 @@
 /* j/6/ut_conk.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_crop.c b/j/f/ut_crop.c
index 334840bf06..a0c80a7378 100644
--- a/j/f/ut_crop.c
+++ b/j/f/ut_crop.c
@@ -1,6 +1,5 @@
 /* j/6/crop.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_cull.c b/j/f/ut_cull.c
index 5b0f9903b2..1e209c2680 100644
--- a/j/f/ut_cull.c
+++ b/j/f/ut_cull.c
@@ -1,6 +1,5 @@
 /* j/6/cull.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_find.c b/j/f/ut_find.c
index 83a69e91ea..557484b320 100644
--- a/j/f/ut_find.c
+++ b/j/f/ut_find.c
@@ -1,6 +1,5 @@
 /* j/6/find.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_fink.c b/j/f/ut_fink.c
index f3d74aac94..85577bbc6e 100644
--- a/j/f/ut_fink.c
+++ b/j/f/ut_fink.c
@@ -1,6 +1,5 @@
 /* j/6/fink.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_fire.c b/j/f/ut_fire.c
index b5c9b763d1..a018bc74b8 100644
--- a/j/f/ut_fire.c
+++ b/j/f/ut_fire.c
@@ -1,6 +1,5 @@
 /* j/6/fire.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_firm.c b/j/f/ut_firm.c
index be93af7475..0da8f873bf 100644
--- a/j/f/ut_firm.c
+++ b/j/f/ut_firm.c
@@ -1,6 +1,5 @@
 /* j/6/firm.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_fish.c b/j/f/ut_fish.c
index 321756865b..ea66c559f3 100644
--- a/j/f/ut_fish.c
+++ b/j/f/ut_fish.c
@@ -1,6 +1,5 @@
 /* j/6/fish.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_fuse.c b/j/f/ut_fuse.c
index ecb5bbf9f7..08676e7ec1 100644
--- a/j/f/ut_fuse.c
+++ b/j/f/ut_fuse.c
@@ -1,6 +1,5 @@
 /* j/6/fuse.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_gain.c b/j/f/ut_gain.c
index 9158df42c8..e79172fe26 100644
--- a/j/f/ut_gain.c
+++ b/j/f/ut_gain.c
@@ -1,6 +1,5 @@
 /* j/6/gain.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_heal.c b/j/f/ut_heal.c
index f6862d5049..3a79b476cd 100644
--- a/j/f/ut_heal.c
+++ b/j/f/ut_heal.c
@@ -1,6 +1,5 @@
 /* j/6/heal.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_lose.c b/j/f/ut_lose.c
index 18b044b7a6..0c6f9fac5b 100644
--- a/j/f/ut_lose.c
+++ b/j/f/ut_lose.c
@@ -1,6 +1,5 @@
 /* j/6/lose.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_mint.c b/j/f/ut_mint.c
index 212ff5fa6b..e16c813b35 100644
--- a/j/f/ut_mint.c
+++ b/j/f/ut_mint.c
@@ -1,6 +1,5 @@
 /* j/6/mint.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_mull.c b/j/f/ut_mull.c
index 60cf7e20cc..c87ad3059f 100644
--- a/j/f/ut_mull.c
+++ b/j/f/ut_mull.c
@@ -1,6 +1,5 @@
 /* j/6/mull.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_nest.c b/j/f/ut_nest.c
index 5dc866cb00..a1a3e1a0e8 100644
--- a/j/f/ut_nest.c
+++ b/j/f/ut_nest.c
@@ -1,6 +1,5 @@
 /* j/6/ut_nest.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_park.c b/j/f/ut_park.c
index 6853340227..4c9463a9b1 100644
--- a/j/f/ut_park.c
+++ b/j/f/ut_park.c
@@ -1,6 +1,5 @@
 /* j/6/ut_park.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_peek.c b/j/f/ut_peek.c
index 2e121fa23d..a05a587e14 100644
--- a/j/f/ut_peek.c
+++ b/j/f/ut_peek.c
@@ -1,6 +1,5 @@
 /* j/6/peek.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_play.c b/j/f/ut_play.c
index 90582c55f7..5b29767273 100644
--- a/j/f/ut_play.c
+++ b/j/f/ut_play.c
@@ -1,6 +1,5 @@
 /* j/6/play.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_repo.c b/j/f/ut_repo.c
index 04dd59ada0..c082ad3512 100644
--- a/j/f/ut_repo.c
+++ b/j/f/ut_repo.c
@@ -1,6 +1,5 @@
 /* j/6/ut_repo.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_rest.c b/j/f/ut_rest.c
index 2c10c5ebe9..669027addb 100644
--- a/j/f/ut_rest.c
+++ b/j/f/ut_rest.c
@@ -1,6 +1,5 @@
 /* j/6/ut_rest.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_seek.c b/j/f/ut_seek.c
index 816f8921e4..d219768a83 100644
--- a/j/f/ut_seek.c
+++ b/j/f/ut_seek.c
@@ -1,6 +1,5 @@
 /* j/6/seek.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_sift.c b/j/f/ut_sift.c
index e16cb25ba1..c59dca7fdf 100644
--- a/j/f/ut_sift.c
+++ b/j/f/ut_sift.c
@@ -1,6 +1,5 @@
 /* j/6/sift.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_swab.c b/j/f/ut_swab.c
index 02f6b292a1..93db0a3e6b 100644
--- a/j/f/ut_swab.c
+++ b/j/f/ut_swab.c
@@ -1,6 +1,5 @@
 /* j/6/swab.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_tack.c b/j/f/ut_tack.c
index 01b16f646b..53e6a70f60 100644
--- a/j/f/ut_tack.c
+++ b/j/f/ut_tack.c
@@ -1,6 +1,5 @@
 /* j/6/tack.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_tock.c b/j/f/ut_tock.c
index 78b42a8747..e7fa01b575 100644
--- a/j/f/ut_tock.c
+++ b/j/f/ut_tock.c
@@ -1,6 +1,5 @@
 /* j/6/tock.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/f/ut_wrap.c b/j/f/ut_wrap.c
index a95560c7cf..55f1ca9abc 100644
--- a/j/f/ut_wrap.c
+++ b/j/f/ut_wrap.c
@@ -1,6 +1,5 @@
 /* j/6/wrap.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/g/dawn.c b/j/g/dawn.c
index f7922f4f68..e503a81c61 100644
--- a/j/g/dawn.c
+++ b/j/g/dawn.c
@@ -1,6 +1,5 @@
 /* j/g/dawn.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 #include <cmark.h>
diff --git a/j/g/sqar.c b/j/g/sqar.c
index ad22dfadeb..eaf4ab6802 100644
--- a/j/g/sqar.c
+++ b/j/g/sqar.c
@@ -1,6 +1,5 @@
 /* j/1/sqgr.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/j/tree.c b/j/tree.c
index e360d8f044..253cd511d4 100644
--- a/j/tree.c
+++ b/j/tree.c
@@ -1,6 +1,5 @@
 /* j/dash.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/n/a.c b/n/a.c
index 68a102b0b3..7989661688 100644
--- a/n/a.c
+++ b/n/a.c
@@ -1,6 +1,5 @@
 /* g/a.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/n/e.c b/n/e.c
index 4d165ce843..6f800716e8 100644
--- a/n/e.c
+++ b/n/e.c
@@ -1,6 +1,5 @@
 /* g/e.c
 **
-** This file is in the public domain.
 */
 #include <errno.h>
 #include <fcntl.h>
diff --git a/n/h.c b/n/h.c
index 7833bcf57e..698c2f29d4 100644
--- a/n/h.c
+++ b/n/h.c
@@ -1,6 +1,5 @@
 /* g/h.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/n/i.c b/n/i.c
index cfc010e03e..5a887e6496 100644
--- a/n/i.c
+++ b/n/i.c
@@ -1,6 +1,5 @@
 /* g/i.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/n/j.c b/n/j.c
index 470d20f8f4..0e6db22b20 100644
--- a/n/j.c
+++ b/n/j.c
@@ -1,6 +1,5 @@
 /* g/j.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/n/m.c b/n/m.c
index 08a09326ca..cef93736f9 100644
--- a/n/m.c
+++ b/n/m.c
@@ -1,6 +1,5 @@
 /* g/m.c
 **
-** This file is in the public domain.
 */
 #include <errno.h>
 #include <fcntl.h>
diff --git a/n/n.c b/n/n.c
index ba5e3ddc4b..ceed42d746 100644
--- a/n/n.c
+++ b/n/n.c
@@ -1,6 +1,5 @@
 /* g/n.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/n/r.c b/n/r.c
index 8480944de8..1ce9ae1cc4 100644
--- a/n/r.c
+++ b/n/r.c
@@ -1,6 +1,5 @@
 /* g/r.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/n/t.c b/n/t.c
index a2e8dc3a9f..84eb5858bb 100644
--- a/n/t.c
+++ b/n/t.c
@@ -1,6 +1,5 @@
 /* g/t.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 #include <pthread.h>
diff --git a/n/v.c b/n/v.c
index 45a2c9d8d7..a9a6bef882 100644
--- a/n/v.c
+++ b/n/v.c
@@ -1,6 +1,5 @@
 /* g/v.c
 **
-** This file is in the public domain.
 */
 #include <stdio.h>
 #include "all.h"
diff --git a/n/x.c b/n/x.c
index 62f9f8a618..ef769bb85e 100644
--- a/n/x.c
+++ b/n/x.c
@@ -1,6 +1,5 @@
 /* g/x.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/n/z.c b/n/z.c
index 7d56d2d71b..96cff8545b 100644
--- a/n/z.c
+++ b/n/z.c
@@ -1,6 +1,5 @@
 /* g/z.c
 **
-** This file is in the public domain.
 */
 #include "all.h"
 
diff --git a/v/ames.c b/v/ames.c
index 78b31a8527..c349d2a8ad 100644
--- a/v/ames.c
+++ b/v/ames.c
@@ -1,6 +1,5 @@
 /* v/http.c
 **
-** This file is in the public domain.
 */
 #include <stdio.h>
 #include <stdlib.h>
diff --git a/v/cttp.c b/v/cttp.c
index b121e45b70..aa843ea29f 100644
--- a/v/cttp.c
+++ b/v/cttp.c
@@ -1,6 +1,5 @@
 /* v/http.c
 **
-** This file is in the public domain.
 */
 #include <stdio.h>
 #include <stdlib.h>
diff --git a/v/http.c b/v/http.c
index 8b180da393..32216ac857 100644
--- a/v/http.c
+++ b/v/http.c
@@ -1,6 +1,5 @@
 /* v/http.c
 **
-** This file is in the public domain.
 */
 #include <stdio.h>
 #include <stdlib.h>
diff --git a/v/loop.c b/v/loop.c
index f0c5326cb6..60f4a3059b 100644
--- a/v/loop.c
+++ b/v/loop.c
@@ -1,6 +1,5 @@
 /* v/loop.c
 **
-** This file is in the public domain.
 */
 #include <stdio.h>
 #include <stdlib.h>
diff --git a/v/main.c b/v/main.c
index c90b77835d..37bafcb34d 100644
--- a/v/main.c
+++ b/v/main.c
@@ -1,6 +1,5 @@
 /* v/main.c
 **
-** This file is in the public domain.
 */
 #include <stdio.h>
 #include <stdlib.h>
diff --git a/v/raft.c b/v/raft.c
index 0266416837..852c02e688 100644
--- a/v/raft.c
+++ b/v/raft.c
@@ -1,6 +1,5 @@
 /* v/raft.c
 **
-** This file is in the public domain.
 */
 #include <stdio.h>
 #include <stdlib.h>
diff --git a/v/save.c b/v/save.c
index 39bde24f98..7583d1ba94 100644
--- a/v/save.c
+++ b/v/save.c
@@ -1,6 +1,5 @@
 /* v/save.c
 **
-** This file is in the public domain.
 */
 #include <stdio.h>
 #include <stdlib.h>
diff --git a/v/sist.c b/v/sist.c
index 48b4f1a8ff..b3655f5ff7 100644
--- a/v/sist.c
+++ b/v/sist.c
@@ -1,6 +1,5 @@
 /* v/sist.c
 **
-** This file is in the public domain.
 */
 #include <errno.h>
 #include <fcntl.h>
diff --git a/v/term.c b/v/term.c
index 8114e165c2..59c60c848b 100644
--- a/v/term.c
+++ b/v/term.c
@@ -1,6 +1,5 @@
 /* v/term.c
 **
-** This file is in the public domain.
 */
 #include <stdio.h>
 #include <stdlib.h>
diff --git a/w/kjet.c b/w/kjet.c
index a56e924015..8803ad5b83 100644
--- a/w/kjet.c
+++ b/w/kjet.c
@@ -1,6 +1,5 @@
 /* f/meme.c
 **
-** This file is in the public domain.
 */
 #include "f/meme.h"
 
diff --git a/w/test.c b/w/test.c
index 7f8414d2fe..48a78b18e1 100644
--- a/w/test.c
+++ b/w/test.c
@@ -1,6 +1,5 @@
 /* w/test.c
 **
-** This file is in the public domain.
 */
 #define C3_GLOBAL