diff --git a/projects/Idris/todo.org b/projects/Idris/todo.org
index 02c54d0..c4649ef 100644
--- a/projects/Idris/todo.org
+++ b/projects/Idris/todo.org
@@ -5,3 +5,5 @@
 ** TODO Make blockquotes fancy
 * ~blog~ functionality
 ** TODO Automate mastodon posting
+** TODO Random post id
+Allow for working on multiple posts in different branches