--- a/scripts/awk	Tue Jul 30 23:56:31 2019 +0200
+++ b/scripts/awk	Tue Oct 22 22:01:17 2019 +0200
@@ -5,8 +5,7 @@
 #
 # This program is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
-# the Free Software Foundation, either version 3 of the License, or
-# (at your option) any later version.
+# the Free Software Foundation, version 3 of the License.
 #
 # This program is distributed in the hope that it will be useful,
 # but WITHOUT ANY WARRANTY; without even the implied warranty of