diff --git a/docs/conf.py b/docs/conf.py
index 8fefec4d..08617378 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -186,14 +186,8 @@ if os.path.isdir(assets_dir) != True:
 
 urllib.urlretrieve(tools_repo+tools_branch+'/docker/README.rst', filename=tools_dir+'/docker.rst')
 
-urllib.urlretrieve(tools_repo+tools_branch+'/mintnet-kubernetes/README.rst', filename=tools_dir+'/mintnet-kubernetes.rst')
-urllib.urlretrieve(tools_repo+tools_branch+'/mintnet-kubernetes/assets/gce1.png', filename=assets_dir+'/gce1.png')
-urllib.urlretrieve(tools_repo+tools_branch+'/mintnet-kubernetes/assets/gce2.png', filename=assets_dir+'/gce2.png')
-urllib.urlretrieve(tools_repo+tools_branch+'/mintnet-kubernetes/assets/statefulset.png', filename=assets_dir+'/statefulset.png')
-urllib.urlretrieve(tools_repo+tools_branch+'/mintnet-kubernetes/assets/t_plus_k.png', filename=assets_dir+'/t_plus_k.png')
-
 urllib.urlretrieve(tools_repo+tools_branch+'/tm-bench/README.rst', filename=tools_dir+'/benchmarking.rst')
-urllib.urlretrieve('https://raw.githubusercontent.com/tendermint/tools/master/tm-monitor/README.rst', filename='tools/monitoring.rst')
+urllib.urlretrieve(tools_repo+tools_branch+'/tm-monitor/README.rst', filename='tools/monitoring.rst')
 
 #### abci spec #################################
 
diff --git a/docs/index.rst b/docs/index.rst
index 99ca11e7..2bed0744 100644
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -42,7 +42,6 @@ Tendermint Tools
    deploy-testnets.rst
    terraform-and-ansible.rst
    tools/docker.rst
-   tools/mintnet-kubernetes.rst
    tools/benchmarking.rst
    tools/monitoring.rst
 
@@ -66,6 +65,7 @@ Tendermint 201
 
    specification.rst
    determinism.rst
+   transactional-semantics.rst
 
 * For a deeper dive, see `this thesis <https://atrium.lib.uoguelph.ca/xmlui/handle/10214/9769>`__.
 * There is also the `original whitepaper <https://tendermint.com/static/docs/tendermint.pdf>`__, though it is now quite outdated.
diff --git a/docs/transactional-semantics.rst b/docs/transactional-semantics.rst
index 268247a2..988ac682 100644
--- a/docs/transactional-semantics.rst
+++ b/docs/transactional-semantics.rst
@@ -1,8 +1,8 @@
 Transactional Semantics
 =======================
 
-In `"Using
-Tendermint"<./specification/using-tendermint.html#broadcast-api>`__ we
+In `Using
+Tendermint <./using-tendermint.html#broadcast-api>`__ we
 discussed different API endpoints for sending transactions and
 differences between them.
 
@@ -18,7 +18,7 @@ to peers the node crashes.
 
 We are planning to provide such guarantees by using a WAL and
 replaying transactions (See
-`GH#248<https://github.com/tendermint/tendermint/issues/248>`__), but
+`GH#248 <https://github.com/tendermint/tendermint/issues/248>`__), but
 it's non-trivial to do this all efficiently.
 
 The temporary solution is for clients to monitor the node and resubmit