We could keep the license.texi file and @include-s I see what you're saying, but I prefer to just have the license text in the files normally, the way it was originally. Thanks. -k