Update FAQ section about trademarks

Author: other8026

static/faq.html

@@ -2032,8 +2032,9 @@ <h2><a href="#copyright-and-licensing">Who owns the GrapheneOS code and how is i
             <article id="trademark">
                 <h2><a href="#trademark">What about the GrapheneOS name and logo?</a></h2>
 
-                <p>The GrapheneOS name and logo are trademarks of the GrapheneOS project. These
-                marks are in the process of being formally registered in Canada and the US. In the
+                <p>The GrapheneOS name and logo are trademarks of the GrapheneOS project. Both
+                are registered in the United States with serial numbers 90746220 and 90746226. The
+                marks are also in the process of being formally registered in Canada. In the
                 meantime, they're protected as common law trademarks.</p>
 
                 <p>Derivatives of GrapheneOS that are being published/redistributed should replace