diff --git a/TODO b/TODO
index 6d27bba4..f0076508 100644
--- a/TODO
+++ b/TODO
@@ -285,4 +285,5 @@ insert somewhere:
 - editor: show definition place & show use places of variables etc.
 - support pipeline storage serialization
 - command line flag for runTest: parse only (outputs SExp)
-- tuple desugar overloading (e.g. to type level list by default)
\ No newline at end of file
+- tuple desugar overloading (e.g. to type level list by default)
+- move the website to github pages
\ No newline at end of file