Tweak wording

website/index.html

@@ -57,7 +57,7 @@
       <img class="h-52 lg:h-72 lg:ml-8 xl:ml-0 hidden sm:block" src="fe-logo.svg" alt="Fe Programming language">
       <div class="sm:mt-14 md:ml-16 md:mt-0 max-w-3xl lg:max-w-2xl xl:max-w-3xl xl:-ml-4">
         <h2 class="text-5xl sm:text-6xl xl:text-6xl leading-none font-semibold tracking-tight">The <span class="text-gray-100">next generation</span><br> smart contract language for Ethereum</h2>
-        <p class="text-lg sm:text-2xl text-gray-600 leading-6 sm:leading-8 mt-4">Create <span class="text-gray-900 font-semibold">decentralized applications</span> in a powerful, future-proof and <span class="text-gray-900 font-semibold">statically typed</span> language that is very <span class="text-gray-900 font-semibold">easy to learn</span>.<p>
+        <p class="text-lg sm:text-2xl text-gray-600 leading-6 sm:leading-8 mt-4">Create <span class="text-gray-900 font-semibold">decentralized applications</span> in a powerful, future-proof and <span class="text-gray-900 font-semibold">statically typed</span> language that is <span class="text-gray-900 font-semibold">easy to learn</span>.<p>
         <div class="mt-6 sm:mt-8 flex flex-wrap space-y-4 sm:space-y-0 sm:space-x-4 text-center">
           <a href="docs/quickstart/index.html" class="transition duration-200 ease-in-out w-full sm:w-auto text-lg sm:text-xl text-center bg-gray-900 rounded text-gray-100 py-3 px-6 hover:bg-gray-700 hover:text-white shadow-xl" title="Get started">Get started</a>
           <a href="https://github.com/ethereum/fe/releases" class="w-full sm:w-auto px-6 py-3 bg-gray-300 text-gray-600 border border-gray-200 rounded hover:text-gray-900 leading-6 focus:ring-2 focus:ring-offset-2 focus:ring-offset-white focus:ring-gray-300 focus:outline-none transition-colors duration-200" title="Download">
@@ -77,9 +77,7 @@ <h2 class="text-5xl sm:text-6xl xl:text-6xl leading-none font-semibold tracking-
             <path fill-rule="evenodd" d="M12.316 3.051a1 1 0 01.633 1.265l-4 12a1 1 0 11-1.898-.632l4-12a1 1 0 011.265-.633zM5.707 6.293a1 1 0 010 1.414L3.414 10l2.293 2.293a1 1 0 11-1.414 1.414l-3-3a1 1 0 010-1.414l3-3a1 1 0 011.414 0zm8.586 0a1 1 0 011.414 0l3 3a1 1 0 010 1.414l-3 3a1 1 0 11-1.414-1.414L16.586 10l-2.293-2.293a1 1 0 010-1.414z" clip-rule="evenodd" />
           </svg>
           <h3 class="text-2xl font-semibold">Beautiful and elegant</h3>
-          <p class="text-lg mt-2">The syntax of Fe is inspired by Python and Rust. It is easy to learn, even for those who have never dealt with EVM before.
-
-            Fe was developed with audits in mind making it very easy to write safe code.</p>
+          <p class="text-lg mt-2">The syntax of Fe is inspired by Python and Rust. It is easy to learn, even for those who have never dealt with the EVM before. Fe is designed to be safe and equipped with the tooling needed to validate contracts.</p>
         </div>
         <div class="bg-gray-100 p-8 py-10 rounded-sm bg-gradient-to-br from-gray-100 to-gray-200">
           <svg xmlns="http://www.w3.org/2000/svg" class="h-10 w-10 mb-3 text-gray-700" fill="none" viewBox="0 0 24 24" stroke="currentColor">
@@ -88,8 +86,7 @@ <h3 class="text-2xl font-semibold">Beautiful and elegant</h3>
           <h3 class="text-2xl font-semibold">
             Simple yet powerful
           </h3>
-          <p class="text-lg mt-2">Fe restricts dynamic program behavior making the language more reliable in return.
-            Features such as generic types over constant values improve decidability without compromising expressiveness.
+          <p class="text-lg mt-2">Fe seeks to restrict dynamic behavior without limiting expressiveness. Features like constant generics let you write clean code without sacrificing compile-time guarantees.
           </p>
         </div>
         <div class="bg-gray-100 p-8 py-10 rounded-sm bg-gradient-to-br from-gray-100 to-gray-200">