1 files changed, 0 insertions, 2 deletions

diff --git a/TODO b/TODO
index b41b435c..18746cf6 100644
--- a/TODO
+++ b/TODO
@@ -30,8 +30,6 @@ Before release:
   I can do about, and it doesn't seem worth fixing. Maybe mention it
   somewhere?
 * README-maintainer: Fix installation of documentation to website
-* Get navigation working properly
-* Figure out where to put :ref:`search` so we get doc search
 
 Soon: