diff --git a/readthedocs/ravi-overview.rst b/readthedocs/ravi-overview.rst
index 9fd15ecc..5de6a746 100644
--- a/readthedocs/ravi-overview.rst
+++ b/readthedocs/ravi-overview.rst
@@ -5,7 +5,7 @@ Ravi Programming Language
:target: https://travis-ci.org/dibyendumajumdar/ravi
Ravi is a dialect of `Lua `_ with limited optional static typing and
-features `MIR `_ powered JIT compilers.
+features a JIT compiler powered by `MIR `_ as well as experimental support for AOT compilation to native code.
The name Ravi comes from the Sanskrit word for the Sun.
Interestingly a precursor to Lua was `Sol `_ which had support for
static types; Sol means the Sun in Portugese.
@@ -38,6 +38,8 @@ Features
* Compact JIT backend `MIR `_.
* A `distribution with batteries `_.
* A `Visual Studio Code debugger extension `_ - interpreted mode debugger.
+* A new compiler framework for `JIT and AOT compilation `_.
+* `AOT Compilation to shared library `_.
Documentation
=============
@@ -51,7 +53,8 @@ Lua Goodies
* `An Introduction to Lua `_ attempts to provide a quick overview of Lua for folks coming from other languages.
* `Lua 5.3 Bytecode Reference `_ is my attempt to bring up to date the `Lua 5.1 Bytecode Reference `_.
* A `patch for Lua 5.3 `_ implements the 'defer' statement.
-* A `patch for Lua 5.4 `_ implements the 'defer' statement.
+* A `patch for Lua 5.4.[0-2] `_ implements the 'defer' statement.
+* Updated `patch for Lua 5.4.3 `_ implements the 'defer' statement.
Lua 5.4 Position Statement
==========================