remove unnecessary word

Co-authored-by: David I. Lehn <[email protected]>

Author: 2 people

index.html

@@ -1689,7 +1689,7 @@ <h3>Names and Descriptions</h3>
         </p>
 
         <p class="note">
-The `@direction` attributes in the examples below are not technically required
+The `@direction` attributes in the examples below are not required
 for the associated single-language strings, as their default directions are the
 same as those set in the attribute. We include the `@direction` attributes here
 for clarity of demonstration, and to make copy+paste+edit deliver functional