Merge branch 'main' into fix-links

Author: acharraggi

docs/source/_templates/layout.html

@@ -15,11 +15,6 @@
                 <ul>          
 			<li id="ftc-page-link"><a href="https://www.firstinspires.org/resource-library/ftc/game-and-season-info" target="_blank"><i>FIRST</i> Official Team Resources</a></li>
                   <li id="qa-link"><a href="https://ftc-qa.firstinspires.org/" target="_blank">Official Game Q&A</a></li>
-                  <script id="headerscript">
-                    if( new Date().getMonth() == 3 && new Date().getDate() == 1) {
-                      document.getElementById("headerscript").insertAdjacentHTML("afterend", '<li id="water-link"><a href="https://www.youtube.com/watch?v=dQw4w9WgXcQ">Water Game</a></li>');
-                    }
-                  </script>
                 </ul>
             </div>
         </div>

docs/source/programming_resources/shared/installing_kotlin/Installing-Kotlin.rst

@@ -18,7 +18,7 @@ many new features and syntax that can make it easier to write code and less pron
 the features of Kotlin include:
 
 * Full interoperability with Java; you can use Java classes and libraries from Kotlin and vice versa.
-* Dynamic typing; Kotlin allows you to use dynamic typing when needed, that is, you don't need
+* Type inference; Kotlin allows you to use type inference when needed, that is, you don't need
   to specify the type of a variable when it can be inferred from the context
   (``var myString = "Hi!"``).
 * No semicolons; Kotlin does not require semicolons to end statements.