manual: update copyright to seL4 International

seL4 is no longer under the Linux Foundation, so the manual's
footer should reflect that.

Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>

Author: midnightveil

docs/style/sel4.sty

@@ -1,4 +1,4 @@
-% Copyright seL4 Project a Series of LF Projects, LLC
+% Copyright seL4 International
 % SPDX-License-Identifier: CC-BY-SA-4.0
 
 \NeedsTeXFormat{LaTeX2e}
@@ -143,7 +143,7 @@
   \let\@makefnmark\relax%
   \footnote{%
     \hspace*{-1.8em}%    Magic number from article.cls/report.cls
-    Copyright \copyright~#1 seL4 Project a Series of LF Projects, LLC.\\
+    Copyright \copyright~#1 seL4 International.\\
     Distributed under the
     \href{https://creativecommons.org/licenses/by-sa/4.0/legalcode}{Creative
       Commons Attribution-ShareAlike 4.0 International (CC~BY-SA~4.0) License.}\\