Update IDEAS.org

diff --git a/IDEAS.org b/IDEAS.org
index 1e95397224b2be482b8a04ea2c5c51a9ff3ea33e..d73513ff91a830d3290edccfae78bda440786095 100644 (file)
--- a/IDEAS.org
+++ b/IDEAS.org
@@ -28,7 +28,7 @@
 - But with a well-defined AST
 - Complex nested lists
 - Styling of code blocks (highlighting, user input, replaceable...)
-- See https://github.com/alexpdp7/lmparser
+- See https://github.com/jgm/djot / https://github.com/opendevise/asciidoc-parsing-lab/
 
 * Streaming DB
 
@@ -71,12 +71,6 @@ See https://github.com/EvgSkv/logica
 - Declarative join via foreign key constraint names
 - Better ordering for code completion (e.g. FROMs first)
 
-* User-friendly GMail synchronization tool
-
-- Speaks XOAUTH2
-- Syncs to something Mutt/Notmuch/etc. can use easily
-- See https://github.com/alexpdp7/notsomuchcomplex
-
 * Parallel execution framework
 
 - A tool to run stuff such as CI builds which need sophisticated parallelization