More intro updates

Author: mikera

docs/intro.md

@@ -20,20 +20,22 @@ Convex is designed to give developers ultimate power to build the next generatio
 
 ## Our Story
 
-Convex was initially created by [Mike Anderson](https://www.linkedin.com/in/mike-cvx/), a technology veteran and long time open source hacker. He started coding on an 8-bit Atari 800XL at the age of eight, represented the UK in the [International Olympiad in Informatics](https://ioinformatics.org/) and has been passionate about coding ever since. 
+Convex was initially created by [Mike Anderson](https://www.linkedin.com/in/mike-cvx/), a technology veteran and long-time open source hacker. He started coding on an 8-bit Atari 800XL at the age of eight, represented the UK in the [International Olympiad in Informatics](https://ioinformatics.org/) and has been passionate about coding ever since. 
 
 ![Mike Photo](mike.jpg)
 
 During ten years of consulting experience at [McKinsey & Company](https://www.mckinsey.com/), he saw all the problems and inefficiencies of large centralised organisations (multi-national companies, governments, NGOs etc.) and knew there had to be a better way to organise our economies. 
 
 While working as a founding member and CTO at [Ocean Protocol](https://oceanprotocol.com/) in 2018-2019, he saw the promise of decentralised systems to give power back to self-sovereign individuals, but also the need for a better base layer technology if such solutions were ever able to achieve mass adoption.
 
-This led him to create the [Convex Foundation](https://convex.world) and embark on a programme of research in 2020-2022, tackling multiple obstacles and design challenges to make Convex possible. Key inventions included:
+This led him to embark on a programme of research and create the [Convex Foundation](https://convex.world) in 2020-2022, tackling multiple obstacles and design challenges to make Convex possible. Key inventions included:
 - **Convergent Proof of Stake**: the world's fastest truly decentralised consensus algorithm for a global state machine. By operating as a CRDT instead of a blockchain, CPoS solves the traditional blockchain scalability trilemma. The keys ideas of CPoS are outlined in the [Convex White Paper](overview/convex-whitepaper.md)
 - **Lattice technology**: by combining the concepts of mathematical join-semilattices with cryptography, it is possible to reinvent the concept of data structures for the decentralised world. The lattice is infinitely flexible: any kind of data, any kind of compute, any kind of access control, and kind of replication mechanism. The lattice supports both public on-chain operation (e.g. CPoS, the Convex CVM) and off-chain use cases (DLFS, private databases, media content etc.) 
 - **Decentralised Code Execution**: To offer full flexibility and power to developers, it was clear that Convex needed an execution engine for smart contracts and other autonomous decentralised programs. Existing solutions were inadequate, either due to poor performance, architectural limitations or inability to deal with the more powerful data structures required by The Lattice. The solution was to create a new kind of VM based on the [lambda calculus](https://en.wikipedia.org/wiki/Lambda_calculus) to bring the best capabilities of functional programming to the decentralised world.
 
-In 2023-2024, Convex has been fully functional and subjected to brutal testing throughout the Testnet phases. It's been remarkably robust: nobody has *ever* managed to steal a single Convex Coin on testnet without access to a user's private key. We have thousands of lines of code dedicated to extensive automated testing. Some of our Testnet servers had uptime of over a year without issues. 
+Convex has always been an open source project. Over the years many fantastic people have joined the project and made significant contributions. The primary venues for collaboration have been been on [GitHub](https://github.com/Convex-Dev) and on the [Convex Community Discord](https://discord.com/invite/xfYGq4CT7v)
+
+Thanks for all these great contributions, Convex has been fully functional and subjected to brutal testing throughout the Testnet phases in 2022-2024. It's been remarkably robust: nobody has *ever* managed to steal a single Convex Coin on testnet without access to a user's private key. We have thousands of lines of code dedicated to extensive automated testing. Some of our Testnet servers had uptime of over a year without issues. 
 
 We validated performance and scalability running early versions of Convex peers distributed all around the world in 2023 as part of the EU [Next Generation Internet](https://ngi.eu/) initiative, which proved global scale and stunning energy efficiency while still offering near-instant transaction finality.
 

docs/overview/governance.md

@@ -1,10 +1,16 @@
 
 # Governance
 
-Convex is governed by the non-profit Convex Foundation. The Foundation performs the following activities:
+Convex is governed by the non-profit Convex Foundation. 
+
+The Foundation performs the following activities:
 
 - Ensures good governance of the Convex Network
 - Operates key resources on behalf of the community, including the https://convex.world website and developer resources such as GitHub repositories
 - Acts as this initial issuer of Convex Coins to individuals and organisations, including management of the release curve
 - Provides awards for contributors to Convex (e.g. open source developers)
 - Supports the development of the Convex ecosystem via partnerships, marketing, education and other initiatives
+
+## Foundation Information
+
+The Convex Foundation is registered as a company limited by guarantee in the UK, founded on 23rd September 2020.