Add a name (old change sitting in my tree)
diff --git a/Misc/ACKS b/Misc/ACKS
index fb3c94f..6d3ad2c 100644
--- a/Misc/ACKS
+++ b/Misc/ACKS
@@ -279,6 +279,7 @@
 Paul Jackson
 David Jacobs
 Kevin Jacobs
+Kjetil Jacobsen
 Geert Jansen
 Jack Jansen
 Bill Janssen