This is an automated email from the ASF dual-hosted git repository.

mssun pushed a commit to branch asf-staging
in repository https://gitbox.apache.org/repos/asf/incubator-teaclave-website.git


The following commit(s) were added to refs/heads/asf-staging by this push:
     new c8e3c10  Update documentation
c8e3c10 is described below

commit c8e3c10f635f7f25c0a4ba15c6f2d5752c47596e
Author: Mingshen Sun <[email protected]>
AuthorDate: Fri Jul 10 14:35:58 2020 -0700

    Update documentation
---
 404.html                                                        | 4 ++--
 assets/js/30.4102381e.js                                        | 1 +
 assets/js/30.f4e64259.js                                        | 1 -
 assets/js/{app.0c5f1d14.js => app.60869800.js}                  | 2 +-
 blog/2019/08/19/apache-incubation-proposal/index.html           | 4 ++--
 blog/2019/12/31/podling-teaclave-report-january-2020/index.html | 4 ++--
 blog/2020/03/31/podling-teaclave-report-april-2020/index.html   | 4 ++--
 blog/2020/06/28/podling-teaclave-report-july-2020/index.html    | 4 ++--
 blog/index.html                                                 | 4 ++--
 community/index.html                                            | 4 ++--
 contributing/index.html                                         | 4 ++--
 contributors/index.html                                         | 4 ++--
 docs/access-control/index.html                                  | 4 ++--
 docs/build-system/index.html                                    | 4 ++--
 docs/builtin-functions/index.html                               | 4 ++--
 docs/codebase/attestation/index.html                            | 4 ++--
 docs/codebase/cli/index.html                                    | 4 ++--
 docs/codebase/common/index.html                                 | 4 ++--
 docs/codebase/config/index.html                                 | 4 ++--
 docs/codebase/dcap/index.html                                   | 4 ++--
 docs/codebase/docker/index.html                                 | 4 ++--
 docs/codebase/examples/index.html                               | 4 ++--
 docs/codebase/executor/index.html                               | 4 ++--
 docs/codebase/file-agent/index.html                             | 4 ++--
 docs/codebase/function/index.html                               | 4 ++--
 docs/codebase/keys/index.html                                   | 4 ++--
 docs/codebase/rpc/index.html                                    | 4 ++--
 docs/codebase/runtime/index.html                                | 4 ++--
 docs/codebase/sdk/index.html                                    | 4 ++--
 docs/codebase/services/index.html                               | 4 ++--
 docs/codebase/tests/index.html                                  | 4 ++--
 docs/codebase/third-party/index.html                            | 4 ++--
 docs/codebase/tool/index.html                                   | 4 ++--
 docs/codebase/types/index.html                                  | 4 ++--
 docs/codebase/worker/index.html                                 | 4 ++--
 docs/development-tips/index.html                                | 4 ++--
 docs/functions-in-python/index.html                             | 4 ++--
 docs/index.html                                                 | 6 +++---
 docs/mutual-attestation/index.html                              | 4 ++--
 docs/my-first-function/index.html                               | 4 ++--
 docs/rust-guildeline/index.html                                 | 4 ++--
 docs/service-internals/index.html                               | 4 ++--
 docs/threat-model/index.html                                    | 4 ++--
 index.html                                                      | 4 ++--
 teaclave/binder/index.html                                      | 4 ++--
 teaclave/common/protected_fs_rs/index.html                      | 4 ++--
 teaclave/common/rusty_leveldb_sgx/index.html                    | 4 ++--
 teaclave/crypto/index.html                                      | 4 ++--
 teaclave/index.html                                             | 4 ++--
 49 files changed, 95 insertions(+), 95 deletions(-)

diff --git a/404.html b/404.html
index e21ca18..9413684 100644
--- a/404.html
+++ b/404.html
@@ -7,13 +7,13 @@
     <meta name="generator" content="VuePress 1.5.0">
     
     <meta name="description" content="Apache Teaclave (incubating) is an open 
source universal secure computing platform, making computation on 
privacy-sensitive data safe and simple.">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/9.825606df.js" 
as="script"><link rel="prefetch" href="/assets/js/1.bd8d225e.js"><link 
rel="prefetch" href="/assets/js/10.44d9840a.js"><link rel="prefetch" 
href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98.js"><link rel="prefetch" 
href="/assets/js/13.2f28d91f.js"><link rel="prefet [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/9.825606df.js" 
as="script"><link rel="prefetch" href="/assets/js/1.bd8d225e.js"><link 
rel="prefetch" href="/assets/js/10.44d9840a.js"><link rel="prefetch" 
href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98.js"><link rel="prefetch" 
href="/assets/js/13.2f28d91f.js"><link rel="prefet [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
     <div id="app" data-server-rendered="true"><div 
class="theme-container"><div class="theme-default-content"><h1>404</h1> 
<blockquote>Looks like we've got some broken links.</blockquote> <a href="/" 
class="router-link-active">
       Take me home.
     </a></div></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/9.825606df.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/9.825606df.js" defer></script>
   </body>
 </html>
diff --git a/assets/js/30.4102381e.js b/assets/js/30.4102381e.js
new file mode 100644
index 0000000..4f434df
--- /dev/null
+++ b/assets/js/30.4102381e.js
@@ -0,0 +1 @@
+(window.webpackJsonp=window.webpackJsonp||[]).push([[30],{413:function(t,e,a){"use
 strict";a.r(e);var o=a(27),i=Object(o.a)({},(function(){var 
t=this,e=t.$createElement,a=t._self._c||e;return 
a("ContentSlotsDistributor",{attrs:{"slot-key":t.$parent.slotKey}},[a("h1",{attrs:{id:"teaclave-documentation"}},[a("a",{staticClass:"header-anchor",attrs:{href:"#teaclave-documentation"}},[t._v("#")]),t._v("
 Teaclave Documentation")]),t._v(" 
"),a("h2",{attrs:{id:"try"}},[a("a",{staticClass:"header- [...]
\ No newline at end of file
diff --git a/assets/js/30.f4e64259.js b/assets/js/30.f4e64259.js
deleted file mode 100644
index b85e810..0000000
--- a/assets/js/30.f4e64259.js
+++ /dev/null
@@ -1 +0,0 @@
-(window.webpackJsonp=window.webpackJsonp||[]).push([[30],{413:function(t,e,a){"use
 strict";a.r(e);var o=a(27),i=Object(o.a)({},(function(){var 
t=this,e=t.$createElement,a=t._self._c||e;return 
a("ContentSlotsDistributor",{attrs:{"slot-key":t.$parent.slotKey}},[a("h1",{attrs:{id:"teaclave-documentation"}},[a("a",{staticClass:"header-anchor",attrs:{href:"#teaclave-documentation"}},[t._v("#")]),t._v("
 Teaclave Documentation")]),t._v(" 
"),a("h2",{attrs:{id:"try"}},[a("a",{staticClass:"header- [...]
\ No newline at end of file
diff --git a/assets/js/app.0c5f1d14.js b/assets/js/app.60869800.js
similarity index 99%
rename from assets/js/app.0c5f1d14.js
rename to assets/js/app.60869800.js
index a849a0a..825b976 100644
--- a/assets/js/app.0c5f1d14.js
+++ b/assets/js/app.60869800.js
@@ -1,4 +1,4 @@
-(window.webpackJsonp=window.webpackJsonp||[]).push([[0],[]]);!function(t){function
 e(e){for(var 
r,i,c=e[0],s=e[1],u=e[2],p=0,f=[];p<c.length;p++)i=c[p],Object.prototype.hasOwnProperty.call(o,i)&&o[i]&&f.push(o[i][0]),o[i]=0;for(r
 in 
s)Object.prototype.hasOwnProperty.call(s,r)&&(t[r]=s[r]);for(l&&l(e);f.length;)f.shift()();return
 a.push.apply(a,u||[]),n()}function n(){for(var t,e=0;e<a.length;e++){for(var 
n=a[e],r=!0,c=1;c<n.length;c++){var 
s=n[c];0!==o[s]&&(r=!1)}r&&(a.splice(e--,1),t=i( [...]
+(window.webpackJsonp=window.webpackJsonp||[]).push([[0],[]]);!function(t){function
 e(e){for(var 
r,i,c=e[0],s=e[1],u=e[2],p=0,f=[];p<c.length;p++)i=c[p],Object.prototype.hasOwnProperty.call(o,i)&&o[i]&&f.push(o[i][0]),o[i]=0;for(r
 in 
s)Object.prototype.hasOwnProperty.call(s,r)&&(t[r]=s[r]);for(l&&l(e);f.length;)f.shift()();return
 a.push.apply(a,u||[]),n()}function n(){for(var t,e=0;e<a.length;e++){for(var 
n=a[e],r=!0,c=1;c<n.length;c++){var 
s=n[c];0!==o[s]&&(r=!1)}r&&(a.splice(e--,1),t=i( [...]
 /*!
  * Vue.js v2.6.11
  * (c) 2014-2019 Evan You
diff --git a/blog/2019/08/19/apache-incubation-proposal/index.html 
b/blog/2019/08/19/apache-incubation-proposal/index.html
index 696893c..40ec101 100644
--- a/blog/2019/08/19/apache-incubation-proposal/index.html
+++ b/blog/2019/08/19/apache-incubation-proposal/index.html
@@ -17,7 +17,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/blog/2019/08/19/apache-incubation-proposal/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/8.a136c641.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/11.dbe339ef.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/12.780ced98.js"><link rel="prefetch" 
href="/assets/js/13.2f28d91f [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/8.a136c641.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/11.dbe339ef.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/12.780ced98.js"><link rel="prefetch" 
href="/assets/js/13.2f28d91f [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -490,6 +490,6 @@ The list is sorted alphabetically:
 
 The Incubator PMC
 </code></pre></div></div></article></div> </main></div><div 
class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/8.a136c641.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/11.dbe339ef.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/8.a136c641.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/11.dbe339ef.js" defer></script>
   </body>
 </html>
diff --git a/blog/2019/12/31/podling-teaclave-report-january-2020/index.html 
b/blog/2019/12/31/podling-teaclave-report-january-2020/index.html
index 13eb55b..bad47b4 100644
--- a/blog/2019/12/31/podling-teaclave-report-january-2020/index.html
+++ b/blog/2019/12/31/podling-teaclave-report-january-2020/index.html
@@ -17,7 +17,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/blog/2019/12/31/podling-teaclave-report-january-2020/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/8.a136c641.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/12.780ced98.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/13.2f28d91f [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/8.a136c641.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/12.780ced98.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/13.2f28d91f [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -105,6 +105,6 @@ lot of changes need to be done. The mentors and infra teams 
help us a
 lot on the transfer.</p> <h3 
id="is-the-ppmc-managing-the-podling-s-brand-trademarks"><a 
href="#is-the-ppmc-managing-the-podling-s-brand-trademarks" 
class="header-anchor">#</a> Is the PPMC managing the podling's brand / 
trademarks?</h3> <p>We don't find any 3rd parties incorrectly using the 
podling's name and
 brand. The VP, Brand has approve the project name.
 (PODLINGNAMESEARCH-175)</p></div></article></div> </main></div><div 
class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/8.a136c641.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/12.780ced98.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/8.a136c641.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/12.780ced98.js" defer></script>
   </body>
 </html>
diff --git a/blog/2020/03/31/podling-teaclave-report-april-2020/index.html 
b/blog/2020/03/31/podling-teaclave-report-april-2020/index.html
index f7d6af3..42d98df 100644
--- a/blog/2020/03/31/podling-teaclave-report-april-2020/index.html
+++ b/blog/2020/03/31/podling-teaclave-report-april-2020/index.html
@@ -17,7 +17,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/blog/2020/03/31/podling-teaclave-report-april-2020/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/8.a136c641.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/13.2f28d91f.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/8.a136c641.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/13.2f28d91f.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -113,6 +113,6 @@ when main refactoring is done.</li></ul> <h3 
id="how-would-you-assess-the-podlin
 work focus on improving the design and documents to make the project more
 approachable for newcomers.</p> <h3 
id="have-your-mentors-been-helpful-and-responsive"><a 
href="#have-your-mentors-been-helpful-and-responsive" 
class="header-anchor">#</a> Have your mentors been helpful and responsive?</h3> 
<p>Yes, our mentors help use to resolve the mailing list moderator issues.</p> 
<h3 id="is-the-ppmc-managing-the-podling-s-brand-trademarks"><a 
href="#is-the-ppmc-managing-the-podling-s-brand-trademarks" 
class="header-anchor">#</a> Is the PPMC managing the podling's br [...]
 The VP, Brand has approve the project name. 
(PODLINGNAMESEARCH-175)</p></div></article></div> </main></div><div 
class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/8.a136c641.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/13.2f28d91f.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/8.a136c641.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/13.2f28d91f.js" defer></script>
   </body>
 </html>
diff --git a/blog/2020/06/28/podling-teaclave-report-july-2020/index.html 
b/blog/2020/06/28/podling-teaclave-report-july-2020/index.html
index fbf2306..577d756 100644
--- a/blog/2020/06/28/podling-teaclave-report-july-2020/index.html
+++ b/blog/2020/06/28/podling-teaclave-report-july-2020/index.html
@@ -17,7 +17,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/blog/2020/06/28/podling-teaclave-report-july-2020/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/8.a136c641.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/14.075b9b7e.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/8.a136c641.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/14.075b9b7e.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -120,6 +120,6 @@ Also, our mentors provided valuable thoughts regarding 
Intel's recent
 security issues.</p> <h3 
id="is-the-ppmc-managing-the-podling-s-brand-trademarks"><a 
href="#is-the-ppmc-managing-the-podling-s-brand-trademarks" 
class="header-anchor">#</a> Is the PPMC managing the podling's brand / 
trademarks?</h3> <p>We don't find any 3rd parties incorrectly using the 
podling's name and
 brand. The VP, Brand has approved the project name.
 (PODLINGNAMESEARCH-175)</p></div></article></div> </main></div><div 
class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/8.a136c641.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/14.075b9b7e.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/8.a136c641.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/14.075b9b7e.js" defer></script>
   </body>
 </html>
diff --git a/blog/index.html b/blog/index.html
index 6ffc17b..c9fb35c 100644
--- a/blog/index.html
+++ b/blog/index.html
@@ -13,7 +13,7 @@
     <meta name="twitter:url" content="https://teaclave.apache.org/blog/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/10.44d9840a.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/6.90f2a867.js" 
as="script"><link rel="prefetch" href="/assets/js/11.dbe339ef.js"><link 
rel="prefetch" href="/assets/js/12.780ced98.js"><link rel="prefetch" 
href="/assets/js/13.2f28d91f [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/10.44d9840a.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/6.90f2a867.js" 
as="script"><link rel="prefetch" href="/assets/js/11.dbe339ef.js"><link 
rel="prefetch" href="/assets/js/12.780ced98.js"><link rel="prefetch" 
href="/assets/js/13.2f28d91f [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -90,6 +90,6 @@
   <svg xmlns="http://www.w3.org/2000/svg"; aria-hidden="true" x="0px" y="0px" 
viewBox="0 0 100 100" width="15" height="15" class="icon outbound"><path 
fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor" points="45.7,48.7 51.3,54.3 77.2,28.5 77.2,37.2 
85.2,37.2 85.2,14.9 62.8,14.9 62.8,22.9 71.5,22.9"></polygon></svg></a></li><li 
class="dropdown-item"><!----> <a hre [...]
   Current Event
   <svg xmlns="http://www.w3.org/2000/svg"; aria-hidden="true" x="0px" y="0px" 
viewBox="0 0 100 100" width="15" height="15" class="icon outbound"><path 
fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor" points="45.7,48.7 51.3,54.3 77.2,28.5 77.2,37.2 
85.2,37.2 85.2,14.9 62.8,14.9 62.8,22.9 
71.5,22.9"></polygon></svg></a></li></ul></div></div> <!----></nav>  <!----> 
[...]
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/10.44d9840a.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/6.90f2a867.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/10.44d9840a.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/6.90f2a867.js" defer></script>
   </body>
 </html>
diff --git a/community/index.html b/community/index.html
index b352cf2..c746835 100644
--- a/community/index.html
+++ b/community/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" content="https://teaclave.apache.org/community/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/16.555030a3.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/16.555030a3.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -114,6 +114,6 @@ blockchain-based, open-source protocol that lets anyone 
perform computations
 on encrypted data, bringing privacy to smart contracts and public
 blockchains.</li> <li><a href="https://github.com/scs/substraTEE"; 
target="_blank" rel="noopener noreferrer">substraTEE<svg 
xmlns="http://www.w3.org/2000/svg"; aria-hidden="true" x="0px" y="0px" 
viewBox="0 0 100 100" width="15" height="15" class="icon outbound"><path 
fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor" points="45.7,48.7 51.3,54.3 77.2,28.5 77.2,37.2  
[...]
 Framework for substrate blockchains.</li></ul></div> <footer 
class="page-edit"><!----> <div class="last-updated"><span class="prefix">Last 
Updated:</span> <span class="time">6/17/2020, 1:58:31 PM</span></div></footer> 
<!----> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/16.555030a3.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/16.555030a3.js" defer></script>
   </body>
 </html>
diff --git a/contributing/index.html b/contributing/index.html
index 7029c6a..d21e0f2 100644
--- a/contributing/index.html
+++ b/contributing/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/contributing/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/17.0807844d.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/17.0807844d.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -103,6 +103,6 @@ want to propose features.</p> <h2 
id="send-pull-requests"><a href="#send-pull-re
 code inplace, and <code>make CLI=1</code> to lint Rust code with Rust 
clippy.</li> <li>Commit/push the changes and send a pull request on GitHub. 
Please kindly
 write some background and details for this PR (we also provide a PR template
 to guild you with writing a high-quality pull request).</li></ol></div> 
<footer class="page-edit"><!----> <div class="last-updated"><span 
class="prefix">Last Updated:</span> <span class="time">6/7/2020, 6:47:18 
PM</span></div></footer> <!----> </main></div><div 
class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/17.0807844d.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/17.0807844d.js" defer></script>
   </body>
 </html>
diff --git a/contributors/index.html b/contributors/index.html
index 02a9fb3..4c8032b 100644
--- a/contributors/index.html
+++ b/contributors/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/contributors/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/18.3a9bad8c.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/18.3a9bad8c.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -101,6 +101,6 @@ being active. In committers, the role of
 oversight of Teaclave. Please contact the community if you'd like to become a
 member of regular committers or PPMC of Teaclave.</p> <ul><li><a 
href="https://github.com/mssun"; target="_blank" rel="noopener 
noreferrer">Mingshen Sun<svg xmlns="http://www.w3.org/2000/svg"; 
aria-hidden="true" x="0px" y="0px" viewBox="0 0 100 100" width="15" height="15" 
class="icon outbound"><path fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor" points="45.7,48 [...]
 contributions it receives.</p> <p>List of external contributors of Teaclave 
and Teaclave SGX SDK (in alphabetical order):</p> <ul><li><a 
href="https://github.com/akhilles"; target="_blank" rel="noopener 
noreferrer">Akhil Velagapudi<svg xmlns="http://www.w3.org/2000/svg"; 
aria-hidden="true" x="0px" y="0px" viewBox="0 0 100 100" width="15" height="15" 
class="icon outbound"><path fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,
 [...]
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/18.3a9bad8c.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/18.3a9bad8c.js" defer></script>
   </body>
 </html>
diff --git a/docs/access-control/index.html b/docs/access-control/index.html
index 4ffeafc..68a6a82 100644
--- a/docs/access-control/index.html
+++ b/docs/access-control/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/access-control/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/31.43d20071.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/31.43d20071.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -154,6 +154,6 @@ dealing with badly shaped requests. Contributions are 
welcome!</p></div> <footer
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/31.43d20071.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/31.43d20071.js" defer></script>
   </body>
 </html>
diff --git a/docs/build-system/index.html b/docs/build-system/index.html
index 527371a..bd5aea5 100644
--- a/docs/build-system/index.html
+++ b/docs/build-system/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/build-system/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/32.72b64f5c.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/32.72b64f5c.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -125,6 +125,6 @@ with <code>-DCOV=ON</code>.</li></ul> <h3 id="misc"><a 
href="#misc" class="heade
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/32.72b64f5c.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/32.72b64f5c.js" defer></script>
   </body>
 </html>
diff --git a/docs/builtin-functions/index.html 
b/docs/builtin-functions/index.html
index 822c3b6..7d5b2ea 100644
--- a/docs/builtin-functions/index.html
+++ b/docs/builtin-functions/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/builtin-functions/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/33.6580462e.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/33.6580462e.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -187,6 +187,6 @@ results. You can see more details in the 
<code>examples/python</code> directory.
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/33.6580462e.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/33.6580462e.js" defer></script>
   </body>
 </html>
diff --git a/docs/codebase/attestation/index.html 
b/docs/codebase/attestation/index.html
index db4699d..9dc0c01 100644
--- a/docs/codebase/attestation/index.html
+++ b/docs/codebase/attestation/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/codebase/attestation/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/20.58bf36b0.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/20.58bf36b0.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -130,6 +130,6 @@ file.</p></div> <footer class="page-edit"><!----> <div 
class="last-updated"><spa
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/20.58bf36b0.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/20.58bf36b0.js" defer></script>
   </body>
 </html>
diff --git a/docs/codebase/cli/index.html b/docs/codebase/cli/index.html
index 8b602ad..2116a07 100644
--- a/docs/codebase/cli/index.html
+++ b/docs/codebase/cli/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/codebase/cli/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/22.aae965ab.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/22.aae965ab.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -107,6 +107,6 @@ platform with the client SDK.</li></ul></div> <footer 
class="page-edit"><!---->
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/22.aae965ab.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/22.aae965ab.js" defer></script>
   </body>
 </html>
diff --git a/docs/codebase/common/index.html b/docs/codebase/common/index.html
index affd984..3446b2e 100644
--- a/docs/codebase/common/index.html
+++ b/docs/codebase/common/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/codebase/common/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/23.4e0dc91d.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/23.4e0dc91d.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -103,6 +103,6 @@ SGX enclave possible.</li></ul></div> <footer 
class="page-edit"><!----> <div cla
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/23.4e0dc91d.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/23.4e0dc91d.js" defer></script>
   </body>
 </html>
diff --git a/docs/codebase/config/index.html b/docs/codebase/config/index.html
index 0140833..d5f7875 100644
--- a/docs/codebase/config/index.html
+++ b/docs/codebase/config/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/codebase/config/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/26.ad36046b.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/26.ad36046b.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -128,6 +128,6 @@ configuration must be defined as a build config.</p></div> 
<footer class="page-e
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/26.ad36046b.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/26.ad36046b.js" defer></script>
   </body>
 </html>
diff --git a/docs/codebase/dcap/index.html b/docs/codebase/dcap/index.html
index b2b052e..47ac423 100644
--- a/docs/codebase/dcap/index.html
+++ b/docs/codebase/dcap/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/codebase/dcap/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/28.f22473e4.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/28.f22473e4.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -114,6 +114,6 @@ DCAP-enabled application.</p></div> <footer 
class="page-edit"><!----> <div class
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/28.f22473e4.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/28.f22473e4.js" defer></script>
   </body>
 </html>
diff --git a/docs/codebase/docker/index.html b/docs/codebase/docker/index.html
index 950abf5..125ae60 100644
--- a/docs/codebase/docker/index.html
+++ b/docs/codebase/docker/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/codebase/docker/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/29.ef35e96b.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/29.ef35e96b.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -140,6 +140,6 @@ Attaching to ...
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/29.ef35e96b.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/29.ef35e96b.js" defer></script>
   </body>
 </html>
diff --git a/docs/codebase/examples/index.html 
b/docs/codebase/examples/index.html
index dcabc2d..4769712 100644
--- a/docs/codebase/examples/index.html
+++ b/docs/codebase/examples/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/codebase/examples/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/41.9ff96aac.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/41.9ff96aac.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -108,6 +108,6 @@ invoking a function in Teaclave.</p></div> <footer 
class="page-edit"><!----> <di
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/41.9ff96aac.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/41.9ff96aac.js" defer></script>
   </body>
 </html>
diff --git a/docs/codebase/executor/index.html 
b/docs/codebase/executor/index.html
index b3b6093..799cab1 100644
--- a/docs/codebase/executor/index.html
+++ b/docs/codebase/executor/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/codebase/executor/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/42.4a9fe4f2.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/42.4a9fe4f2.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -115,6 +115,6 @@ executor.</p></div> <footer class="page-edit"><!----> <div 
class="last-updated">
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/42.4a9fe4f2.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/42.4a9fe4f2.js" defer></script>
   </body>
 </html>
diff --git a/docs/codebase/file-agent/index.html 
b/docs/codebase/file-agent/index.html
index 239566d..4b4b422 100644
--- a/docs/codebase/file-agent/index.html
+++ b/docs/codebase/file-agent/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/codebase/file-agent/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/43.547da6a7.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/43.547da6a7.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -109,6 +109,6 @@ a remote file storage like S3.</p></div> <footer 
class="page-edit"><!----> <div
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/43.547da6a7.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/43.547da6a7.js" defer></script>
   </body>
 </html>
diff --git a/docs/codebase/function/index.html 
b/docs/codebase/function/index.html
index 6da9292..80cf6e4 100644
--- a/docs/codebase/function/index.html
+++ b/docs/codebase/function/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/codebase/function/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/44.2c643c0f.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/44.2c643c0f.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -113,6 +113,6 @@ of a specific built-in function.</p></div> <footer 
class="page-edit"><!----> <di
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/44.2c643c0f.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/44.2c643c0f.js" defer></script>
   </body>
 </html>
diff --git a/docs/codebase/keys/index.html b/docs/codebase/keys/index.html
index 506eb77..08c7520 100644
--- a/docs/codebase/keys/index.html
+++ b/docs/codebase/keys/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/codebase/keys/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/45.ee1e7d2a.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/45.ee1e7d2a.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -107,6 +107,6 @@ attestation</li></ul></div> <footer 
class="page-edit"><!----> <div class="last-u
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/45.ee1e7d2a.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/45.ee1e7d2a.js" defer></script>
   </body>
 </html>
diff --git a/docs/codebase/rpc/index.html b/docs/codebase/rpc/index.html
index 4b6602f..2ffabd2 100644
--- a/docs/codebase/rpc/index.html
+++ b/docs/codebase/rpc/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/codebase/rpc/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/46.66bdab64.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/46.66bdab64.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -119,6 +119,6 @@ requests (in big endian) and a json serialized 
request.</p></div> <footer class=
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/46.66bdab64.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/46.66bdab64.js" defer></script>
   </body>
 </html>
diff --git a/docs/codebase/runtime/index.html b/docs/codebase/runtime/index.html
index ed9373f..cd03723 100644
--- a/docs/codebase/runtime/index.html
+++ b/docs/codebase/runtime/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/codebase/runtime/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/47.3fe326d9.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/47.3fe326d9.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -108,6 +108,6 @@ our secure file system implementation (i.e., <em>protected 
file</em>). While
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/47.3fe326d9.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/47.3fe326d9.js" defer></script>
   </body>
 </html>
diff --git a/docs/codebase/sdk/index.html b/docs/codebase/sdk/index.html
index df8a349..35cb4d5 100644
--- a/docs/codebase/sdk/index.html
+++ b/docs/codebase/sdk/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/codebase/sdk/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/48.ddb2b634.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/48.ddb2b634.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -104,6 +104,6 @@ requests via RPC, etc. Please refer to the
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/48.ddb2b634.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/48.ddb2b634.js" defer></script>
   </body>
 </html>
diff --git a/docs/codebase/services/index.html 
b/docs/codebase/services/index.html
index 997d0d0..0bbf62a 100644
--- a/docs/codebase/services/index.html
+++ b/docs/codebase/services/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/codebase/services/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/49.26a19d2d.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/49.26a19d2d.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -136,6 +136,6 @@ system through the attested authentication and frontend 
services.</p></div> <foo
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/49.26a19d2d.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/49.26a19d2d.js" defer></script>
   </body>
 </html>
diff --git a/docs/codebase/tests/index.html b/docs/codebase/tests/index.html
index eceac09..6b85d49 100644
--- a/docs/codebase/tests/index.html
+++ b/docs/codebase/tests/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/codebase/tests/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/50.88870743.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/50.88870743.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -122,6 +122,6 @@ Common utilities for test drivers.</li></ul></div> <footer 
class="page-edit"><!-
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/50.88870743.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/50.88870743.js" defer></script>
   </body>
 </html>
diff --git a/docs/codebase/third-party/index.html 
b/docs/codebase/third-party/index.html
index 771ac69..808df03 100644
--- a/docs/codebase/third-party/index.html
+++ b/docs/codebase/third-party/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/codebase/third-party/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/51.657c3fa6.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/51.657c3fa6.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -109,6 +109,6 @@ SGX libraries.</li></ul></div> <footer 
class="page-edit"><!----> <div class="las
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/51.657c3fa6.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/51.657c3fa6.js" defer></script>
   </body>
 </html>
diff --git a/docs/codebase/tool/index.html b/docs/codebase/tool/index.html
index 027d146..bbde89f 100644
--- a/docs/codebase/tool/index.html
+++ b/docs/codebase/tool/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/codebase/tool/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/52.a3d3b14b.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/52.a3d3b14b.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -138,6 +138,6 @@ Remote Attestation Report:
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/52.a3d3b14b.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/52.a3d3b14b.js" defer></script>
   </body>
 </html>
diff --git a/docs/codebase/types/index.html b/docs/codebase/types/index.html
index 288b3c3..7cd59f4 100644
--- a/docs/codebase/types/index.html
+++ b/docs/codebase/types/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/codebase/types/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/53.39e9423c.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/53.39e9423c.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -103,6 +103,6 @@ crate can be used in both app and trusted enclave 
parts.</p></div> <footer class
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/53.39e9423c.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/53.39e9423c.js" defer></script>
   </body>
 </html>
diff --git a/docs/codebase/worker/index.html b/docs/codebase/worker/index.html
index 7d272ef..729a324 100644
--- a/docs/codebase/worker/index.html
+++ b/docs/codebase/worker/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/codebase/worker/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/54.e2828ebf.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/54.e2828ebf.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -117,6 +117,6 @@ to the docs of executor and runtime for more 
details.</p></div> <footer class="p
       <a href="/docs/codebase/types/" class="prev">
         Types
       </a></span> <!----></p></div> </main></div><div 
class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/54.e2828ebf.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/54.e2828ebf.js" defer></script>
   </body>
 </html>
diff --git a/docs/development-tips/index.html b/docs/development-tips/index.html
index 6214cae..47a77b9 100644
--- a/docs/development-tips/index.html
+++ b/docs/development-tips/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/development-tips/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/34.01e725b8.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/34.01e725b8.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -132,6 +132,6 @@ only <code>error</code>, <code>warn</code> and 
<code>info</code> logs will be pr
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/34.01e725b8.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/34.01e725b8.js" defer></script>
   </body>
 </html>
diff --git a/docs/functions-in-python/index.html 
b/docs/functions-in-python/index.html
index 968ede4..a2b0918 100644
--- a/docs/functions-in-python/index.html
+++ b/docs/functions-in-python/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/functions-in-python/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/35.9579ba39.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/35.9579ba39.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -131,6 +131,6 @@ input/output files.</p> <p>You can learn more about 
advanced usages in the examp
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/35.9579ba39.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/35.9579ba39.js" defer></script>
   </body>
 </html>
diff --git a/docs/index.html b/docs/index.html
index 949502b..e10d819 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" content="https://teaclave.apache.org/docs/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/30.f4e64259.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/30.4102381e.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -92,7 +92,7 @@
   Thanks
   <svg xmlns="http://www.w3.org/2000/svg"; aria-hidden="true" x="0px" y="0px" 
viewBox="0 0 100 100" width="15" height="15" class="icon outbound"><path 
fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor" points="45.7,48.7 51.3,54.3 77.2,28.5 77.2,37.2 
85.2,37.2 85.2,14.9 62.8,14.9 62.8,22.9 71.5,22.9"></polygon></svg></a></li><li 
class="dropdown-item"><!----> <a hre [...]
   Current Event
-  <svg xmlns="http://www.w3.org/2000/svg"; aria-hidden="true" x="0px" y="0px" 
viewBox="0 0 100 100" width="15" height="15" class="icon outbound"><path 
fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor" points="45.7,48.7 51.3,54.3 77.2,28.5 77.2,37.2 
85.2,37.2 85.2,14.9 62.8,14.9 62.8,22.9 
71.5,22.9"></polygon></svg></a></li></ul></div></div> <!----></nav>  <ul cla 
[...]
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/30.f4e64259.js" defer></script>
+  <svg xmlns="http://www.w3.org/2000/svg"; aria-hidden="true" x="0px" y="0px" 
viewBox="0 0 100 100" width="15" height="15" class="icon outbound"><path 
fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor" points="45.7,48.7 51.3,54.3 77.2,28.5 77.2,37.2 
85.2,37.2 85.2,14.9 62.8,14.9 62.8,22.9 
71.5,22.9"></polygon></svg></a></li></ul></div></div> <!----></nav>  <ul cla 
[...]
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/30.4102381e.js" defer></script>
   </body>
 </html>
diff --git a/docs/mutual-attestation/index.html 
b/docs/mutual-attestation/index.html
index d4d9791..ca49b9d 100644
--- a/docs/mutual-attestation/index.html
+++ b/docs/mutual-attestation/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/mutual-attestation/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/36.ca0f4cb7.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/36.ca0f4cb7.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -131,6 +131,6 @@ public keys, enclave identities, and the signatures 
directly from the auditors.<
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/36.ca0f4cb7.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/36.ca0f4cb7.js" defer></script>
   </body>
 </html>
diff --git a/docs/my-first-function/index.html 
b/docs/my-first-function/index.html
index 71b9d00..cdb09d8 100644
--- a/docs/my-first-function/index.html
+++ b/docs/my-first-function/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/my-first-function/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/37.39479692.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/37.39479692.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -199,6 +199,6 @@ $ SGX_MODE=SW PYTHONPATH=../../sdk/python python3 
builtin_echo.py 'Hello, Teacla
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/37.39479692.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/37.39479692.js" defer></script>
   </body>
 </html>
diff --git a/docs/rust-guildeline/index.html b/docs/rust-guildeline/index.html
index e6dcc94..42ce6ce 100644
--- a/docs/rust-guildeline/index.html
+++ b/docs/rust-guildeline/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/rust-guildeline/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/38.82afd432.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/38.82afd432.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -126,6 +126,6 @@ crates.</p></div> <footer class="page-edit"><!----> <div 
class="last-updated"><s
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/38.82afd432.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/38.82afd432.js" defer></script>
   </body>
 </html>
diff --git a/docs/service-internals/index.html 
b/docs/service-internals/index.html
index 9e810ae..edeca12 100644
--- a/docs/service-internals/index.html
+++ b/docs/service-internals/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/service-internals/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/39.02ed6c5a.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/39.02ed6c5a.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -214,6 +214,6 @@ status, but service cannot attest clients.</p></div> 
<footer class="page-edit"><
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/39.02ed6c5a.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/39.02ed6c5a.js" defer></script>
   </body>
 </html>
diff --git a/docs/threat-model/index.html b/docs/threat-model/index.html
index 3ea04cd..11b9b6e 100644
--- a/docs/threat-model/index.html
+++ b/docs/threat-model/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/docs/threat-model/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/40.ee6335b9.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/40.ee6335b9.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -133,6 +133,6 @@ software hardening.</p></div> <footer 
class="page-edit"><!----> <div class="last
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/40.ee6335b9.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/40.ee6335b9.js" defer></script>
   </body>
 </html>
diff --git a/index.html b/index.html
index f4cf3ce..ea95d56 100644
--- a/index.html
+++ b/index.html
@@ -18,7 +18,7 @@
     <meta name="twitter:url" content="https://teaclave.apache.org/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/15.9993d23e.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/15.9993d23e.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -131,6 +131,6 @@ purposes.</li></ul></div> <div class="footer">
     Apache Teaclave, Apache, the Apache feather, and the Apache Teaclave 
project logo are either
     trademarks or registered trademarks of the Apache Software Foundation.
   </div></main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/15.9993d23e.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/15.9993d23e.js" defer></script>
   </body>
 </html>
diff --git a/teaclave/binder/index.html b/teaclave/binder/index.html
index f163a03..f9335af 100644
--- a/teaclave/binder/index.html
+++ b/teaclave/binder/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/teaclave/binder/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/21.40a85775.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/21.40a85775.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -105,6 +105,6 @@ to launch Teaclave services and pass runtime configurations 
to trusted enclaves.
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/21.40a85775.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/21.40a85775.js" defer></script>
   </body>
 </html>
diff --git a/teaclave/common/protected_fs_rs/index.html 
b/teaclave/common/protected_fs_rs/index.html
index b508bf1..be1a0e9 100644
--- a/teaclave/common/protected_fs_rs/index.html
+++ b/teaclave/common/protected_fs_rs/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/teaclave/common/protected_fs_rs/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/24.c37ddfde.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/24.c37ddfde.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -98,6 +98,6 @@ from the Intel SGX Linux SDK.</p> <p>Beyond the original 
SGX-only implementation
 <em><strong>running in both SGX and Non-SGX environment</strong></em>. We 
ported the <a 
href="https://github.com/intel/linux-sgx/tree/master/sdk/protected_fs"; 
target="_blank" rel="noopener noreferrer">original C
 implementations<svg xmlns="http://www.w3.org/2000/svg"; aria-hidden="true" 
x="0px" y="0px" viewBox="0 0 100 100" width="15" height="15" class="icon 
outbound"><path fill="currentColor" 
d="M18.8,85.1h56l0,0c2.2,0,4-1.8,4-4v-32h-8v28h-48v-48h28v-8h-32l0,0c-2.2,0-4,1.8-4,4v56C14.8,83.3,16.6,85.1,18.8,85.1z"></path>
 <polygon fill="currentColor" points="45.7,48.7 51.3,54.3 77.2,28.5 77.2,37.2 
85.2,37.2 85.2,14.9 62.8,14.9 62.8,22.9 71.5,22.9"></polygon></svg></a> in  
<code>protected_fs_c</code> [...]
 CMake. Please refer to <code>build.rs</code> for more information.</p></div> 
<footer class="page-edit"><!----> <div class="last-updated"><span 
class="prefix">Last Updated:</span> <span class="time">1/3/2020, 3:07:34 
PM</span></div></footer> <!----> </main></div><div 
class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/24.c37ddfde.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/24.c37ddfde.js" defer></script>
   </body>
 </html>
diff --git a/teaclave/common/rusty_leveldb_sgx/index.html 
b/teaclave/common/rusty_leveldb_sgx/index.html
index 20385f7..7beae13 100644
--- a/teaclave/common/rusty_leveldb_sgx/index.html
+++ b/teaclave/common/rusty_leveldb_sgx/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/teaclave/common/rusty_leveldb_sgx/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/25.f794ba92.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/25.f794ba92.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -108,6 +108,6 @@ as slice).</li> <li>Correctness -- self-checking 
implementation, good test cover
 like the original implementation.</li> <li>Clarity; commented code, clear 
structure (hopefully doing a better job than
 the original implementation).</li> <li>Coming close-ish to the original 
implementation; clarifying the translation of
 typical C++ constructs to Rust.</li></ul></div> <footer 
class="page-edit"><!----> <div class="last-updated"><span class="prefix">Last 
Updated:</span> <span class="time">1/3/2020, 3:07:34 PM</span></div></footer> 
<!----> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/25.f794ba92.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/25.f794ba92.js" defer></script>
   </body>
 </html>
diff --git a/teaclave/crypto/index.html b/teaclave/crypto/index.html
index 572c714..d3aff26 100644
--- a/teaclave/crypto/index.html
+++ b/teaclave/crypto/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" 
content="https://teaclave.apache.org/teaclave/crypto/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/27.3df8855f.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/27.3df8855f.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -104,6 +104,6 @@ key sizes are: 128bits, 256bits.</li> <li>Teaclave File 
Key: Key for Teaclave fi
       </a>
       →
     </span></p></div> </main></div><div class="global-ui"><!----></div></div>
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/27.3df8855f.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/27.3df8855f.js" defer></script>
   </body>
 </html>
diff --git a/teaclave/index.html b/teaclave/index.html
index 411a1b9..9c45082 100644
--- a/teaclave/index.html
+++ b/teaclave/index.html
@@ -16,7 +16,7 @@
     <meta name="twitter:url" content="https://teaclave.apache.org/teaclave/";>
     <meta name="twitter:card" content="summary_large_image">
     <meta name="twitter:site" content="@ApacheTeaclave">
-    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.0c5f1d14.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/19.713ada9e.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
+    <link rel="preload" href="/assets/css/0.styles.276899be.css" 
as="style"><link rel="preload" href="/assets/js/app.60869800.js" 
as="script"><link rel="preload" href="/assets/js/5.bd79a977.js" 
as="script"><link rel="preload" href="/assets/js/1.bd8d225e.js" 
as="script"><link rel="preload" href="/assets/js/19.713ada9e.js" 
as="script"><link rel="prefetch" href="/assets/js/10.44d9840a.js"><link 
rel="prefetch" href="/assets/js/11.dbe339ef.js"><link rel="prefetch" 
href="/assets/js/12.780ced98 [...]
     <link rel="stylesheet" href="/assets/css/0.styles.276899be.css">
   </head>
   <body>
@@ -114,6 +114,6 @@ purposes.</li></ul> <h2 id="getting-started"><a 
href="#getting-started" class="h
 we aim to create a project that is maintained and owned by the community. All
 kinds of contributions are welcome. Read this <a 
href="/teaclave/CONTRIBUTING.html">document</a> to
 learn more about how to contribute. Thanks to our <a 
href="/teaclave/CONTRIBUTORS.html">contributors</a>.</p> <h2 id="community"><a 
href="#community" class="header-anchor">#</a> Community</h2> <ul><li>Join us on 
our <a href="https://lists.apache.org/[email protected]"; 
target="_blank" rel="noopener noreferrer">mailing list<svg 
xmlns="http://www.w3.org/2000/svg"; aria-hidden="true" x="0px" y="0px" 
viewBox="0 0 100 100" width="15" height="15" class="icon outbound"><path fill= 
[...]
-    <script src="/assets/js/app.0c5f1d14.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/19.713ada9e.js" defer></script>
+    <script src="/assets/js/app.60869800.js" defer></script><script 
src="/assets/js/5.bd79a977.js" defer></script><script 
src="/assets/js/1.bd8d225e.js" defer></script><script 
src="/assets/js/19.713ada9e.js" defer></script>
   </body>
 </html>


---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to