diff --git a/docs/configuring.html b/docs/configuring.html
index 5bf395c930..4694fb3ae7 100644
--- a/docs/configuring.html
+++ b/docs/configuring.html
@@ -152,7 +152,7 @@ <h1><a class="anchor" aria-hidden="true" id="complete-configuration"></a><a href
 <p>(Note that you run <code>redex-all</code> here, not the <code>redex.py</code> wrapper!)</p>
 <p>This emits a JSON document detailing parameters, their types, defaults and
 possibly documentation.</p>
-</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Nikolai Tillmann</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/installation"><span class="arrow-prev">← </span><span>Installation</span></a><a class="docs-next button" href="/docs/passes"><span>Passes</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
+</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Man Wang</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/installation"><span class="arrow-prev">← </span><span>Installation</span></a><a class="docs-next button" href="/docs/passes"><span>Passes</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
                 /docs/en/installation">Getting Started</a><a href="
                 /docs/en/configuring">Configuring</a><a href="
                 /docs/en/usage">Using</a><a href="
diff --git a/docs/configuring/index.html b/docs/configuring/index.html
index 5bf395c930..4694fb3ae7 100644
--- a/docs/configuring/index.html
+++ b/docs/configuring/index.html
@@ -152,7 +152,7 @@ <h1><a class="anchor" aria-hidden="true" id="complete-configuration"></a><a href
 <p>(Note that you run <code>redex-all</code> here, not the <code>redex.py</code> wrapper!)</p>
 <p>This emits a JSON document detailing parameters, their types, defaults and
 possibly documentation.</p>
-</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Nikolai Tillmann</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/installation"><span class="arrow-prev">← </span><span>Installation</span></a><a class="docs-next button" href="/docs/passes"><span>Passes</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
+</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Man Wang</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/installation"><span class="arrow-prev">← </span><span>Installation</span></a><a class="docs-next button" href="/docs/passes"><span>Passes</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
                 /docs/en/installation">Getting Started</a><a href="
                 /docs/en/configuring">Configuring</a><a href="
                 /docs/en/usage">Using</a><a href="
diff --git a/docs/docker.html b/docs/docker.html
index 5a6f31b251..a9fa2aa06a 100644
--- a/docs/docker.html
+++ b/docs/docker.html
@@ -66,7 +66,7 @@ <h3><a class="anchor" aria-hidden="true" id="contribution-by-andrew-chen-yongjhi
 <pre><code class="hljs css language-sh">$ docker build --rm -t redex .
 $ docker run -it -v <span class="hljs-variable">$ANDROID_SDK</span>:/opt/android-sdk-linux -v $(<span class="hljs-built_in">pwd</span>):/redex redex redex path/to/your.apk -o path/to/output.apk
 </code></pre>
-</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Nikolai Tillmann</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/synth"><span class="arrow-prev">← </span><span>Redex Synth Pass Example</span></a><a class="docs-next button" href="/docs/interdex"><span>Interdex</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#dockerfiles-and-dockerhub-images">Dockerfiles and DockerHub Images</a><ul class="toc-headings"><li><a href="#contribution-by-andrew-chen-yongjhih">Contribution by Andrew Chen (@yongjhih)</a></li></ul></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
+</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Man Wang</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/synth"><span class="arrow-prev">← </span><span>Redex Synth Pass Example</span></a><a class="docs-next button" href="/docs/interdex"><span>Interdex</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#dockerfiles-and-dockerhub-images">Dockerfiles and DockerHub Images</a><ul class="toc-headings"><li><a href="#contribution-by-andrew-chen-yongjhih">Contribution by Andrew Chen (@yongjhih)</a></li></ul></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
                 /docs/en/installation">Getting Started</a><a href="
                 /docs/en/configuring">Configuring</a><a href="
                 /docs/en/usage">Using</a><a href="
diff --git a/docs/docker/index.html b/docs/docker/index.html
index 5a6f31b251..a9fa2aa06a 100644
--- a/docs/docker/index.html
+++ b/docs/docker/index.html
@@ -66,7 +66,7 @@ <h3><a class="anchor" aria-hidden="true" id="contribution-by-andrew-chen-yongjhi
 <pre><code class="hljs css language-sh">$ docker build --rm -t redex .
 $ docker run -it -v <span class="hljs-variable">$ANDROID_SDK</span>:/opt/android-sdk-linux -v $(<span class="hljs-built_in">pwd</span>):/redex redex redex path/to/your.apk -o path/to/output.apk
 </code></pre>
-</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Nikolai Tillmann</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/synth"><span class="arrow-prev">← </span><span>Redex Synth Pass Example</span></a><a class="docs-next button" href="/docs/interdex"><span>Interdex</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#dockerfiles-and-dockerhub-images">Dockerfiles and DockerHub Images</a><ul class="toc-headings"><li><a href="#contribution-by-andrew-chen-yongjhih">Contribution by Andrew Chen (@yongjhih)</a></li></ul></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
+</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Man Wang</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/synth"><span class="arrow-prev">← </span><span>Redex Synth Pass Example</span></a><a class="docs-next button" href="/docs/interdex"><span>Interdex</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#dockerfiles-and-dockerhub-images">Dockerfiles and DockerHub Images</a><ul class="toc-headings"><li><a href="#contribution-by-andrew-chen-yongjhih">Contribution by Andrew Chen (@yongjhih)</a></li></ul></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
                 /docs/en/installation">Getting Started</a><a href="
                 /docs/en/configuring">Configuring</a><a href="
                 /docs/en/usage">Using</a><a href="
diff --git a/docs/faq.html b/docs/faq.html
index 691be77896..2d407119bb 100644
--- a/docs/faq.html
+++ b/docs/faq.html
@@ -109,7 +109,7 @@ <h2><a class="anchor" aria-hidden="true" id="how-does-this-compare-to-proguard">
 <h2><a class="anchor" aria-hidden="true" id="how-about-dexguard"></a><a href="#how-about-dexguard" aria-hidden="true" class="hash-link"><svg class="hash-link-icon" aria-hidden="true" height="16" version="1.1" viewBox="0 0 16 16" width="16"><path fill-rule="evenodd" d="M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z"></path></svg></a>How about DexGuard?</h2>
 <p>DexGuard operates on dex, but we haven't evaluated it at all since it's closed
 source.  We don't use it at Facebook and we have no plans to start.</p>
-</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Nikolai Tillmann</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/interdex"><span class="arrow-prev">← </span><span>Interdex</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#im-getting-couldnt-find-zipalign-see-readmemd-to-resolve-this-or-other-zipalign-errors">I'm getting &quot;Couldn't find zipalign. See README.md to resolve this.&quot; or other zipalign errors</a></li><li><a href="#my-app-fails-to-install-with-failure-install_parse_failed_no_certificates">My app fails to install with <code>Failure [INSTALL_PARSE_FAILED_NO_CERTIFICATES]</code></a></li><li><a href="#my-app-crashes-with-methodnotfoundexception-classnotfoundexception-nosuchfieldexception-or-something-similar-how-do-i-fix-this">My App crashes with <code>MethodNotFoundException</code>, <code>ClassNotFoundException</code>, <code>NoSuchFieldException</code>, or something similar. How do I fix this?</a></li><li><a href="#how-does-this-compare-to-proguard">How does this compare to ProGuard?</a></li><li><a href="#how-about-dexguard">How about DexGuard?</a></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
+</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Man Wang</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/interdex"><span class="arrow-prev">← </span><span>Interdex</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#im-getting-couldnt-find-zipalign-see-readmemd-to-resolve-this-or-other-zipalign-errors">I'm getting &quot;Couldn't find zipalign. See README.md to resolve this.&quot; or other zipalign errors</a></li><li><a href="#my-app-fails-to-install-with-failure-install_parse_failed_no_certificates">My app fails to install with <code>Failure [INSTALL_PARSE_FAILED_NO_CERTIFICATES]</code></a></li><li><a href="#my-app-crashes-with-methodnotfoundexception-classnotfoundexception-nosuchfieldexception-or-something-similar-how-do-i-fix-this">My App crashes with <code>MethodNotFoundException</code>, <code>ClassNotFoundException</code>, <code>NoSuchFieldException</code>, or something similar. How do I fix this?</a></li><li><a href="#how-does-this-compare-to-proguard">How does this compare to ProGuard?</a></li><li><a href="#how-about-dexguard">How about DexGuard?</a></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
                 /docs/en/installation">Getting Started</a><a href="
                 /docs/en/configuring">Configuring</a><a href="
                 /docs/en/usage">Using</a><a href="
diff --git a/docs/faq/index.html b/docs/faq/index.html
index 691be77896..2d407119bb 100644
--- a/docs/faq/index.html
+++ b/docs/faq/index.html
@@ -109,7 +109,7 @@ <h2><a class="anchor" aria-hidden="true" id="how-does-this-compare-to-proguard">
 <h2><a class="anchor" aria-hidden="true" id="how-about-dexguard"></a><a href="#how-about-dexguard" aria-hidden="true" class="hash-link"><svg class="hash-link-icon" aria-hidden="true" height="16" version="1.1" viewBox="0 0 16 16" width="16"><path fill-rule="evenodd" d="M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z"></path></svg></a>How about DexGuard?</h2>
 <p>DexGuard operates on dex, but we haven't evaluated it at all since it's closed
 source.  We don't use it at Facebook and we have no plans to start.</p>
-</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Nikolai Tillmann</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/interdex"><span class="arrow-prev">← </span><span>Interdex</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#im-getting-couldnt-find-zipalign-see-readmemd-to-resolve-this-or-other-zipalign-errors">I'm getting &quot;Couldn't find zipalign. See README.md to resolve this.&quot; or other zipalign errors</a></li><li><a href="#my-app-fails-to-install-with-failure-install_parse_failed_no_certificates">My app fails to install with <code>Failure [INSTALL_PARSE_FAILED_NO_CERTIFICATES]</code></a></li><li><a href="#my-app-crashes-with-methodnotfoundexception-classnotfoundexception-nosuchfieldexception-or-something-similar-how-do-i-fix-this">My App crashes with <code>MethodNotFoundException</code>, <code>ClassNotFoundException</code>, <code>NoSuchFieldException</code>, or something similar. How do I fix this?</a></li><li><a href="#how-does-this-compare-to-proguard">How does this compare to ProGuard?</a></li><li><a href="#how-about-dexguard">How about DexGuard?</a></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
+</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Man Wang</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/interdex"><span class="arrow-prev">← </span><span>Interdex</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#im-getting-couldnt-find-zipalign-see-readmemd-to-resolve-this-or-other-zipalign-errors">I'm getting &quot;Couldn't find zipalign. See README.md to resolve this.&quot; or other zipalign errors</a></li><li><a href="#my-app-fails-to-install-with-failure-install_parse_failed_no_certificates">My app fails to install with <code>Failure [INSTALL_PARSE_FAILED_NO_CERTIFICATES]</code></a></li><li><a href="#my-app-crashes-with-methodnotfoundexception-classnotfoundexception-nosuchfieldexception-or-something-similar-how-do-i-fix-this">My App crashes with <code>MethodNotFoundException</code>, <code>ClassNotFoundException</code>, <code>NoSuchFieldException</code>, or something similar. How do I fix this?</a></li><li><a href="#how-does-this-compare-to-proguard">How does this compare to ProGuard?</a></li><li><a href="#how-about-dexguard">How about DexGuard?</a></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
                 /docs/en/installation">Getting Started</a><a href="
                 /docs/en/configuring">Configuring</a><a href="
                 /docs/en/usage">Using</a><a href="
diff --git a/docs/installation.html b/docs/installation.html
index 870aa26827..ade6760524 100644
--- a/docs/installation.html
+++ b/docs/installation.html
@@ -191,7 +191,7 @@ <h3><a class="anchor" aria-hidden="true" id="execute"></a><a href="#execute" ari
 Make parallelism can speed up the build and testing (e.g., <code>make -j4</code>). However,
 the C++ compilers are very memory hungry and this needs to be finely tuned on
 many systems.</em></p>
-</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Nikolai Tillmann</em></div><div class="docs-prevnext"><a class="docs-next button" href="/docs/configuring"><span class="function-name-prevnext">Configuring ReDex</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#dependencies">Dependencies</a><ul class="toc-headings"><li><a href="#macos">macOS</a></li><li><a href="#ubuntudebian-64-bit">Ubuntu/Debian (64-bit)</a></li><li><a href="#experimental-windows-64-bit-with-msys2">Experimental: Windows (64-bit) with MSYS2</a></li><li><a href="#experimental-windows-10-64-bit">Experimental: Windows 10 (64-bit)</a></li></ul></li><li><a href="#download-build-and-install">Download, Build and Install</a><ul class="toc-headings"><li><a href="#experimental-windows-64-bit-with-msys2-1">Experimental: Windows (64-bit) with MSYS2</a></li><li><a href="#experimental-cmake-for-mac-linux-and-windows">Experimental: CMake for Mac, Linux, and Windows</a></li></ul></li><li><a href="#test">Test</a><ul class="toc-headings"><li><a href="#dependencies-1">Dependencies</a></li><li><a href="#execute">Execute</a></li></ul></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
+</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Man Wang</em></div><div class="docs-prevnext"><a class="docs-next button" href="/docs/configuring"><span class="function-name-prevnext">Configuring ReDex</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#dependencies">Dependencies</a><ul class="toc-headings"><li><a href="#macos">macOS</a></li><li><a href="#ubuntudebian-64-bit">Ubuntu/Debian (64-bit)</a></li><li><a href="#experimental-windows-64-bit-with-msys2">Experimental: Windows (64-bit) with MSYS2</a></li><li><a href="#experimental-windows-10-64-bit">Experimental: Windows 10 (64-bit)</a></li></ul></li><li><a href="#download-build-and-install">Download, Build and Install</a><ul class="toc-headings"><li><a href="#experimental-windows-64-bit-with-msys2-1">Experimental: Windows (64-bit) with MSYS2</a></li><li><a href="#experimental-cmake-for-mac-linux-and-windows">Experimental: CMake for Mac, Linux, and Windows</a></li></ul></li><li><a href="#test">Test</a><ul class="toc-headings"><li><a href="#dependencies-1">Dependencies</a></li><li><a href="#execute">Execute</a></li></ul></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
                 /docs/en/installation">Getting Started</a><a href="
                 /docs/en/configuring">Configuring</a><a href="
                 /docs/en/usage">Using</a><a href="
diff --git a/docs/installation/index.html b/docs/installation/index.html
index 870aa26827..ade6760524 100644
--- a/docs/installation/index.html
+++ b/docs/installation/index.html
@@ -191,7 +191,7 @@ <h3><a class="anchor" aria-hidden="true" id="execute"></a><a href="#execute" ari
 Make parallelism can speed up the build and testing (e.g., <code>make -j4</code>). However,
 the C++ compilers are very memory hungry and this needs to be finely tuned on
 many systems.</em></p>
-</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Nikolai Tillmann</em></div><div class="docs-prevnext"><a class="docs-next button" href="/docs/configuring"><span class="function-name-prevnext">Configuring ReDex</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#dependencies">Dependencies</a><ul class="toc-headings"><li><a href="#macos">macOS</a></li><li><a href="#ubuntudebian-64-bit">Ubuntu/Debian (64-bit)</a></li><li><a href="#experimental-windows-64-bit-with-msys2">Experimental: Windows (64-bit) with MSYS2</a></li><li><a href="#experimental-windows-10-64-bit">Experimental: Windows 10 (64-bit)</a></li></ul></li><li><a href="#download-build-and-install">Download, Build and Install</a><ul class="toc-headings"><li><a href="#experimental-windows-64-bit-with-msys2-1">Experimental: Windows (64-bit) with MSYS2</a></li><li><a href="#experimental-cmake-for-mac-linux-and-windows">Experimental: CMake for Mac, Linux, and Windows</a></li></ul></li><li><a href="#test">Test</a><ul class="toc-headings"><li><a href="#dependencies-1">Dependencies</a></li><li><a href="#execute">Execute</a></li></ul></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
+</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Man Wang</em></div><div class="docs-prevnext"><a class="docs-next button" href="/docs/configuring"><span class="function-name-prevnext">Configuring ReDex</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#dependencies">Dependencies</a><ul class="toc-headings"><li><a href="#macos">macOS</a></li><li><a href="#ubuntudebian-64-bit">Ubuntu/Debian (64-bit)</a></li><li><a href="#experimental-windows-64-bit-with-msys2">Experimental: Windows (64-bit) with MSYS2</a></li><li><a href="#experimental-windows-10-64-bit">Experimental: Windows 10 (64-bit)</a></li></ul></li><li><a href="#download-build-and-install">Download, Build and Install</a><ul class="toc-headings"><li><a href="#experimental-windows-64-bit-with-msys2-1">Experimental: Windows (64-bit) with MSYS2</a></li><li><a href="#experimental-cmake-for-mac-linux-and-windows">Experimental: CMake for Mac, Linux, and Windows</a></li></ul></li><li><a href="#test">Test</a><ul class="toc-headings"><li><a href="#dependencies-1">Dependencies</a></li><li><a href="#execute">Execute</a></li></ul></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
                 /docs/en/installation">Getting Started</a><a href="
                 /docs/en/configuring">Configuring</a><a href="
                 /docs/en/usage">Using</a><a href="
diff --git a/docs/interdex.html b/docs/interdex.html
index e5cbff8c14..838e4b6a9d 100644
--- a/docs/interdex.html
+++ b/docs/interdex.html
@@ -138,7 +138,7 @@ <h1><a class="anchor" aria-hidden="true" id="measuring-benefit"></a><a href="#me
 <li>Hopefully memory usage has gone down!</li>
 </ul>
 <p>If you want performance measurements, you'll have to set up a test for app startup and run it on apks with and without the interdex pass applied.</p>
-</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Nikolai Tillmann</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/docker"><span class="arrow-prev">← </span><span>Docker Container Deployments</span></a><a class="docs-next button" href="/docs/faq"><span>FAQ</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#step-by-step-on-how-to-generate-class-list">Step-by-Step on how to generate class list</a></li><li><a href="#options">Options</a></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
+</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Man Wang</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/docker"><span class="arrow-prev">← </span><span>Docker Container Deployments</span></a><a class="docs-next button" href="/docs/faq"><span>FAQ</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#step-by-step-on-how-to-generate-class-list">Step-by-Step on how to generate class list</a></li><li><a href="#options">Options</a></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
                 /docs/en/installation">Getting Started</a><a href="
                 /docs/en/configuring">Configuring</a><a href="
                 /docs/en/usage">Using</a><a href="
diff --git a/docs/interdex/index.html b/docs/interdex/index.html
index e5cbff8c14..838e4b6a9d 100644
--- a/docs/interdex/index.html
+++ b/docs/interdex/index.html
@@ -138,7 +138,7 @@ <h1><a class="anchor" aria-hidden="true" id="measuring-benefit"></a><a href="#me
 <li>Hopefully memory usage has gone down!</li>
 </ul>
 <p>If you want performance measurements, you'll have to set up a test for app startup and run it on apks with and without the interdex pass applied.</p>
-</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Nikolai Tillmann</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/docker"><span class="arrow-prev">← </span><span>Docker Container Deployments</span></a><a class="docs-next button" href="/docs/faq"><span>FAQ</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#step-by-step-on-how-to-generate-class-list">Step-by-Step on how to generate class list</a></li><li><a href="#options">Options</a></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
+</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Man Wang</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/docker"><span class="arrow-prev">← </span><span>Docker Container Deployments</span></a><a class="docs-next button" href="/docs/faq"><span>FAQ</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#step-by-step-on-how-to-generate-class-list">Step-by-Step on how to generate class list</a></li><li><a href="#options">Options</a></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
                 /docs/en/installation">Getting Started</a><a href="
                 /docs/en/configuring">Configuring</a><a href="
                 /docs/en/usage">Using</a><a href="
diff --git a/docs/passes.html b/docs/passes.html
index ceb4766a74..7f4a1d79c4 100644
--- a/docs/passes.html
+++ b/docs/passes.html
@@ -593,7 +593,7 @@ <h2><a class="anchor" aria-hidden="true" id="unreferencedinterfacespass"></a><a
 <p><code>UnreferencedInterfacesPass</code> removes concrete Interfaces that are not
 referenced anywhere in code except in <code>implements</code> clauses. Interfaces on
 abstract classes are harder to track and are thus considered for optimization.</p>
-</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Nikolai Tillmann</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/configuring"><span class="arrow-prev">← </span><span class="function-name-prevnext">Configuring ReDex</span></a><a class="docs-next button" href="/docs/usage"><span>Usage</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#accessmarkingpass">AccessMarkingPass</a></li><li><a href="#annokillpass">AnnoKillPass</a></li><li><a href="#bridgesynthinlinepass">BridgeSynthInlinePass</a></li><li><a href="#checkbreadcrumbspass">CheckBreadcrumbsPass</a></li><li><a href="#classmergingpass">ClassMergingPass</a></li><li><a href="#constantpropagationpass">ConstantPropagationPass</a></li><li><a href="#copypropagationpass">CopyPropagationPass</a></li><li><a href="#dedupblockspass">DedupBlocksPass</a></li><li><a href="#delinitpass">DelInitPass</a></li><li><a href="#delsuperpass">DelSuperPass</a></li><li><a href="#finalinlinepassv2">FinalInlinePassV2</a></li><li><a href="#localdcepass">LocalDcePass</a></li><li><a href="#methoddevirtualizationpass">MethodDevirtualizationPass</a></li><li><a href="#obfuscatepass">ObfuscatePass</a></li><li><a href="#optimizeenumspass">OptimizeEnumsPass</a></li><li><a href="#originalnamepass">OriginalNamePass</a></li><li><a href="#peepholepass">PeepholePass</a></li><li><a href="#rebindrefspass">ReBindRefsPass</a></li><li><a href="#reducegotospass">ReduceGotosPass</a></li><li><a href="#regallocpass">RegAllocPass</a></li><li><a href="#removebuilderspass">RemoveBuildersPass</a></li><li><a href="#removeemptyclassespass">RemoveEmptyClassesPass</a></li><li><a href="#removeinterfacepass">RemoveInterfacePass</a></li><li><a href="#removeunreachablepass">RemoveUnreachablePass</a></li><li><a href="#removeunusedfieldspass">RemoveUnusedFieldsPass</a></li><li><a href="#removeunusedargspass">RemoveUnusedArgsPass</a></li><li><a href="#renameclassespassv2">RenameClassesPassV2</a></li><li><a href="#reorderinterfacesdeclpass">ReorderInterfacesDeclPass</a></li><li><a href="#resultpropagationpass">ResultPropagationPass</a></li><li><a href="#shortensrcstringspass">ShortenSrcStringsPass</a></li><li><a href="#methodinlinepass">MethodInlinePass</a></li><li><a href="#singleimplpass">SingleImplPass</a></li><li><a href="#staticrelopassv2">StaticReloPassV2</a></li><li><a href="#stringconcatenatorpass">StringConcatenatorPass</a></li><li><a href="#stripdebuginfopass">StripDebugInfoPass</a></li><li><a href="#unreferencedinterfacespass">UnreferencedInterfacesPass</a></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
+</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Man Wang</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/configuring"><span class="arrow-prev">← </span><span class="function-name-prevnext">Configuring ReDex</span></a><a class="docs-next button" href="/docs/usage"><span>Usage</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#accessmarkingpass">AccessMarkingPass</a></li><li><a href="#annokillpass">AnnoKillPass</a></li><li><a href="#bridgesynthinlinepass">BridgeSynthInlinePass</a></li><li><a href="#checkbreadcrumbspass">CheckBreadcrumbsPass</a></li><li><a href="#classmergingpass">ClassMergingPass</a></li><li><a href="#constantpropagationpass">ConstantPropagationPass</a></li><li><a href="#copypropagationpass">CopyPropagationPass</a></li><li><a href="#dedupblockspass">DedupBlocksPass</a></li><li><a href="#delinitpass">DelInitPass</a></li><li><a href="#delsuperpass">DelSuperPass</a></li><li><a href="#finalinlinepassv2">FinalInlinePassV2</a></li><li><a href="#localdcepass">LocalDcePass</a></li><li><a href="#methoddevirtualizationpass">MethodDevirtualizationPass</a></li><li><a href="#obfuscatepass">ObfuscatePass</a></li><li><a href="#optimizeenumspass">OptimizeEnumsPass</a></li><li><a href="#originalnamepass">OriginalNamePass</a></li><li><a href="#peepholepass">PeepholePass</a></li><li><a href="#rebindrefspass">ReBindRefsPass</a></li><li><a href="#reducegotospass">ReduceGotosPass</a></li><li><a href="#regallocpass">RegAllocPass</a></li><li><a href="#removebuilderspass">RemoveBuildersPass</a></li><li><a href="#removeemptyclassespass">RemoveEmptyClassesPass</a></li><li><a href="#removeinterfacepass">RemoveInterfacePass</a></li><li><a href="#removeunreachablepass">RemoveUnreachablePass</a></li><li><a href="#removeunusedfieldspass">RemoveUnusedFieldsPass</a></li><li><a href="#removeunusedargspass">RemoveUnusedArgsPass</a></li><li><a href="#renameclassespassv2">RenameClassesPassV2</a></li><li><a href="#reorderinterfacesdeclpass">ReorderInterfacesDeclPass</a></li><li><a href="#resultpropagationpass">ResultPropagationPass</a></li><li><a href="#shortensrcstringspass">ShortenSrcStringsPass</a></li><li><a href="#methodinlinepass">MethodInlinePass</a></li><li><a href="#singleimplpass">SingleImplPass</a></li><li><a href="#staticrelopassv2">StaticReloPassV2</a></li><li><a href="#stringconcatenatorpass">StringConcatenatorPass</a></li><li><a href="#stripdebuginfopass">StripDebugInfoPass</a></li><li><a href="#unreferencedinterfacespass">UnreferencedInterfacesPass</a></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
                 /docs/en/installation">Getting Started</a><a href="
                 /docs/en/configuring">Configuring</a><a href="
                 /docs/en/usage">Using</a><a href="
diff --git a/docs/passes/index.html b/docs/passes/index.html
index ceb4766a74..7f4a1d79c4 100644
--- a/docs/passes/index.html
+++ b/docs/passes/index.html
@@ -593,7 +593,7 @@ <h2><a class="anchor" aria-hidden="true" id="unreferencedinterfacespass"></a><a
 <p><code>UnreferencedInterfacesPass</code> removes concrete Interfaces that are not
 referenced anywhere in code except in <code>implements</code> clauses. Interfaces on
 abstract classes are harder to track and are thus considered for optimization.</p>
-</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Nikolai Tillmann</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/configuring"><span class="arrow-prev">← </span><span class="function-name-prevnext">Configuring ReDex</span></a><a class="docs-next button" href="/docs/usage"><span>Usage</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#accessmarkingpass">AccessMarkingPass</a></li><li><a href="#annokillpass">AnnoKillPass</a></li><li><a href="#bridgesynthinlinepass">BridgeSynthInlinePass</a></li><li><a href="#checkbreadcrumbspass">CheckBreadcrumbsPass</a></li><li><a href="#classmergingpass">ClassMergingPass</a></li><li><a href="#constantpropagationpass">ConstantPropagationPass</a></li><li><a href="#copypropagationpass">CopyPropagationPass</a></li><li><a href="#dedupblockspass">DedupBlocksPass</a></li><li><a href="#delinitpass">DelInitPass</a></li><li><a href="#delsuperpass">DelSuperPass</a></li><li><a href="#finalinlinepassv2">FinalInlinePassV2</a></li><li><a href="#localdcepass">LocalDcePass</a></li><li><a href="#methoddevirtualizationpass">MethodDevirtualizationPass</a></li><li><a href="#obfuscatepass">ObfuscatePass</a></li><li><a href="#optimizeenumspass">OptimizeEnumsPass</a></li><li><a href="#originalnamepass">OriginalNamePass</a></li><li><a href="#peepholepass">PeepholePass</a></li><li><a href="#rebindrefspass">ReBindRefsPass</a></li><li><a href="#reducegotospass">ReduceGotosPass</a></li><li><a href="#regallocpass">RegAllocPass</a></li><li><a href="#removebuilderspass">RemoveBuildersPass</a></li><li><a href="#removeemptyclassespass">RemoveEmptyClassesPass</a></li><li><a href="#removeinterfacepass">RemoveInterfacePass</a></li><li><a href="#removeunreachablepass">RemoveUnreachablePass</a></li><li><a href="#removeunusedfieldspass">RemoveUnusedFieldsPass</a></li><li><a href="#removeunusedargspass">RemoveUnusedArgsPass</a></li><li><a href="#renameclassespassv2">RenameClassesPassV2</a></li><li><a href="#reorderinterfacesdeclpass">ReorderInterfacesDeclPass</a></li><li><a href="#resultpropagationpass">ResultPropagationPass</a></li><li><a href="#shortensrcstringspass">ShortenSrcStringsPass</a></li><li><a href="#methodinlinepass">MethodInlinePass</a></li><li><a href="#singleimplpass">SingleImplPass</a></li><li><a href="#staticrelopassv2">StaticReloPassV2</a></li><li><a href="#stringconcatenatorpass">StringConcatenatorPass</a></li><li><a href="#stripdebuginfopass">StripDebugInfoPass</a></li><li><a href="#unreferencedinterfacespass">UnreferencedInterfacesPass</a></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
+</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Man Wang</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/configuring"><span class="arrow-prev">← </span><span class="function-name-prevnext">Configuring ReDex</span></a><a class="docs-next button" href="/docs/usage"><span>Usage</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#accessmarkingpass">AccessMarkingPass</a></li><li><a href="#annokillpass">AnnoKillPass</a></li><li><a href="#bridgesynthinlinepass">BridgeSynthInlinePass</a></li><li><a href="#checkbreadcrumbspass">CheckBreadcrumbsPass</a></li><li><a href="#classmergingpass">ClassMergingPass</a></li><li><a href="#constantpropagationpass">ConstantPropagationPass</a></li><li><a href="#copypropagationpass">CopyPropagationPass</a></li><li><a href="#dedupblockspass">DedupBlocksPass</a></li><li><a href="#delinitpass">DelInitPass</a></li><li><a href="#delsuperpass">DelSuperPass</a></li><li><a href="#finalinlinepassv2">FinalInlinePassV2</a></li><li><a href="#localdcepass">LocalDcePass</a></li><li><a href="#methoddevirtualizationpass">MethodDevirtualizationPass</a></li><li><a href="#obfuscatepass">ObfuscatePass</a></li><li><a href="#optimizeenumspass">OptimizeEnumsPass</a></li><li><a href="#originalnamepass">OriginalNamePass</a></li><li><a href="#peepholepass">PeepholePass</a></li><li><a href="#rebindrefspass">ReBindRefsPass</a></li><li><a href="#reducegotospass">ReduceGotosPass</a></li><li><a href="#regallocpass">RegAllocPass</a></li><li><a href="#removebuilderspass">RemoveBuildersPass</a></li><li><a href="#removeemptyclassespass">RemoveEmptyClassesPass</a></li><li><a href="#removeinterfacepass">RemoveInterfacePass</a></li><li><a href="#removeunreachablepass">RemoveUnreachablePass</a></li><li><a href="#removeunusedfieldspass">RemoveUnusedFieldsPass</a></li><li><a href="#removeunusedargspass">RemoveUnusedArgsPass</a></li><li><a href="#renameclassespassv2">RenameClassesPassV2</a></li><li><a href="#reorderinterfacesdeclpass">ReorderInterfacesDeclPass</a></li><li><a href="#resultpropagationpass">ResultPropagationPass</a></li><li><a href="#shortensrcstringspass">ShortenSrcStringsPass</a></li><li><a href="#methodinlinepass">MethodInlinePass</a></li><li><a href="#singleimplpass">SingleImplPass</a></li><li><a href="#staticrelopassv2">StaticReloPassV2</a></li><li><a href="#stringconcatenatorpass">StringConcatenatorPass</a></li><li><a href="#stripdebuginfopass">StripDebugInfoPass</a></li><li><a href="#unreferencedinterfacespass">UnreferencedInterfacesPass</a></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
                 /docs/en/installation">Getting Started</a><a href="
                 /docs/en/configuring">Configuring</a><a href="
                 /docs/en/usage">Using</a><a href="
diff --git a/docs/proguard.html b/docs/proguard.html
index 01a02129d3..07cdd1ac6a 100644
--- a/docs/proguard.html
+++ b/docs/proguard.html
@@ -143,7 +143,7 @@ <h2><a class="anchor" aria-hidden="true" id="limitations"></a><a href="#limitati
 support a richer subset of the ProGuard configuration language.</p>
 <h2><a class="anchor" aria-hidden="true" id="source-for-example"></a><a href="#source-for-example" aria-hidden="true" class="hash-link"><svg class="hash-link-icon" aria-hidden="true" height="16" version="1.1" viewBox="0 0 16 16" width="16"><path fill-rule="evenodd" d="M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z"></path></svg></a>Source for Example</h2>
 <p>The source code for this example can be found in this directory.</p>
-</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Nikolai Tillmann</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/usage"><span class="arrow-prev">← </span><span>Usage</span></a><a class="docs-next button" href="/docs/synth"><span>Redex Synth Pass Example</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#the-need-to-control-shrinking">The Need To Control Shrinking</a></li><li><a href="#example">Example</a></li><li><a href="#limitations">Limitations</a></li><li><a href="#source-for-example">Source for Example</a></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
+</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Man Wang</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/usage"><span class="arrow-prev">← </span><span>Usage</span></a><a class="docs-next button" href="/docs/synth"><span>Redex Synth Pass Example</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#the-need-to-control-shrinking">The Need To Control Shrinking</a></li><li><a href="#example">Example</a></li><li><a href="#limitations">Limitations</a></li><li><a href="#source-for-example">Source for Example</a></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
                 /docs/en/installation">Getting Started</a><a href="
                 /docs/en/configuring">Configuring</a><a href="
                 /docs/en/usage">Using</a><a href="
diff --git a/docs/proguard/index.html b/docs/proguard/index.html
index 01a02129d3..07cdd1ac6a 100644
--- a/docs/proguard/index.html
+++ b/docs/proguard/index.html
@@ -143,7 +143,7 @@ <h2><a class="anchor" aria-hidden="true" id="limitations"></a><a href="#limitati
 support a richer subset of the ProGuard configuration language.</p>
 <h2><a class="anchor" aria-hidden="true" id="source-for-example"></a><a href="#source-for-example" aria-hidden="true" class="hash-link"><svg class="hash-link-icon" aria-hidden="true" height="16" version="1.1" viewBox="0 0 16 16" width="16"><path fill-rule="evenodd" d="M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z"></path></svg></a>Source for Example</h2>
 <p>The source code for this example can be found in this directory.</p>
-</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Nikolai Tillmann</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/usage"><span class="arrow-prev">← </span><span>Usage</span></a><a class="docs-next button" href="/docs/synth"><span>Redex Synth Pass Example</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#the-need-to-control-shrinking">The Need To Control Shrinking</a></li><li><a href="#example">Example</a></li><li><a href="#limitations">Limitations</a></li><li><a href="#source-for-example">Source for Example</a></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
+</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Man Wang</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/usage"><span class="arrow-prev">← </span><span>Usage</span></a><a class="docs-next button" href="/docs/synth"><span>Redex Synth Pass Example</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#the-need-to-control-shrinking">The Need To Control Shrinking</a></li><li><a href="#example">Example</a></li><li><a href="#limitations">Limitations</a></li><li><a href="#source-for-example">Source for Example</a></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
                 /docs/en/installation">Getting Started</a><a href="
                 /docs/en/configuring">Configuring</a><a href="
                 /docs/en/usage">Using</a><a href="
diff --git a/docs/synth.html b/docs/synth.html
index 58954c152c..70ae0d9fc5 100644
--- a/docs/synth.html
+++ b/docs/synth.html
@@ -201,7 +201,7 @@ <h2><a class="anchor" aria-hidden="true" id="example-code"></a><a href="#example
 <p>To produce these items:</p>
 <pre><code class="hljs"><span class="hljs-symbol">$</span> make clean <span class="hljs-keyword">all</span>
 </code></pre>
-</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Nikolai Tillmann</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/proguard"><span class="arrow-prev">← </span><span class="function-name-prevnext">Using ProGuard Rules with Redex</span></a><a class="docs-next button" href="/docs/docker"><span>Docker Container Deployments</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#removing-synthetic-methods-for-accessing-static-fields">Removing synthetic methods for accessing static fields</a></li><li><a href="#example-code">Example Code</a></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
+</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Man Wang</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/proguard"><span class="arrow-prev">← </span><span class="function-name-prevnext">Using ProGuard Rules with Redex</span></a><a class="docs-next button" href="/docs/docker"><span>Docker Container Deployments</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#removing-synthetic-methods-for-accessing-static-fields">Removing synthetic methods for accessing static fields</a></li><li><a href="#example-code">Example Code</a></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
                 /docs/en/installation">Getting Started</a><a href="
                 /docs/en/configuring">Configuring</a><a href="
                 /docs/en/usage">Using</a><a href="
diff --git a/docs/synth/index.html b/docs/synth/index.html
index 58954c152c..70ae0d9fc5 100644
--- a/docs/synth/index.html
+++ b/docs/synth/index.html
@@ -201,7 +201,7 @@ <h2><a class="anchor" aria-hidden="true" id="example-code"></a><a href="#example
 <p>To produce these items:</p>
 <pre><code class="hljs"><span class="hljs-symbol">$</span> make clean <span class="hljs-keyword">all</span>
 </code></pre>
-</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Nikolai Tillmann</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/proguard"><span class="arrow-prev">← </span><span class="function-name-prevnext">Using ProGuard Rules with Redex</span></a><a class="docs-next button" href="/docs/docker"><span>Docker Container Deployments</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#removing-synthetic-methods-for-accessing-static-fields">Removing synthetic methods for accessing static fields</a></li><li><a href="#example-code">Example Code</a></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
+</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Man Wang</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/proguard"><span class="arrow-prev">← </span><span class="function-name-prevnext">Using ProGuard Rules with Redex</span></a><a class="docs-next button" href="/docs/docker"><span>Docker Container Deployments</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#removing-synthetic-methods-for-accessing-static-fields">Removing synthetic methods for accessing static fields</a></li><li><a href="#example-code">Example Code</a></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
                 /docs/en/installation">Getting Started</a><a href="
                 /docs/en/configuring">Configuring</a><a href="
                 /docs/en/usage">Using</a><a href="
diff --git a/docs/usage.html b/docs/usage.html
index cf0ab04840..362066d4a7 100644
--- a/docs/usage.html
+++ b/docs/usage.html
@@ -182,7 +182,7 @@ <h2><a class="anchor" aria-hidden="true" id="tracing"></a><a href="#tracing" ari
 variable:</p>
 <pre><code class="hljs"><span class="hljs-builtin-name">export</span> <span class="hljs-attribute">TRACEFILE</span>=/path/to/trace.txt
 </code></pre>
-</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Nikolai Tillmann</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/passes"><span class="arrow-prev">← </span><span>Passes</span></a><a class="docs-next button" href="/docs/proguard"><span class="function-name-prevnext">Using ProGuard Rules with Redex</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#basic-usage">Basic Usage</a></li><li><a href="#tracing">Tracing</a></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
+</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Man Wang</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/passes"><span class="arrow-prev">← </span><span>Passes</span></a><a class="docs-next button" href="/docs/proguard"><span class="function-name-prevnext">Using ProGuard Rules with Redex</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#basic-usage">Basic Usage</a></li><li><a href="#tracing">Tracing</a></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
                 /docs/en/installation">Getting Started</a><a href="
                 /docs/en/configuring">Configuring</a><a href="
                 /docs/en/usage">Using</a><a href="
diff --git a/docs/usage/index.html b/docs/usage/index.html
index cf0ab04840..362066d4a7 100644
--- a/docs/usage/index.html
+++ b/docs/usage/index.html
@@ -182,7 +182,7 @@ <h2><a class="anchor" aria-hidden="true" id="tracing"></a><a href="#tracing" ari
 variable:</p>
 <pre><code class="hljs"><span class="hljs-builtin-name">export</span> <span class="hljs-attribute">TRACEFILE</span>=/path/to/trace.txt
 </code></pre>
-</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Nikolai Tillmann</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/passes"><span class="arrow-prev">← </span><span>Passes</span></a><a class="docs-next button" href="/docs/proguard"><span class="function-name-prevnext">Using ProGuard Rules with Redex</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#basic-usage">Basic Usage</a></li><li><a href="#tracing">Tracing</a></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
+</span></div></article></div><div class="docLastUpdate"><em>Last updated on 10/19/2023 by Man Wang</em></div><div class="docs-prevnext"><a class="docs-prev button" href="/docs/passes"><span class="arrow-prev">← </span><span>Passes</span></a><a class="docs-next button" href="/docs/proguard"><span class="function-name-prevnext">Using ProGuard Rules with Redex</span><span class="arrow-next"> →</span></a></div></div></div><nav class="onPageNav"><ul class="toc-headings"><li><a href="#basic-usage">Basic Usage</a></li><li><a href="#tracing">Tracing</a></li></ul></nav></div><footer class="nav-footer" id="footer"><section class="sitemap"><a href="/" class="nav-home"><img src="/img/redex.png" alt="Redex" width="66" height="58"/></a><div class="footerSection"><h5>Docs</h5><a href="
                 /docs/en/installation">Getting Started</a><a href="
                 /docs/en/configuring">Configuring</a><a href="
                 /docs/en/usage">Using</a><a href="