diff -r 829d6711b316 -r 6fbb686d919f TODO
--- a/TODO	Wed Jul 09 10:11:13 2008 -0400
+++ b/TODO	Tue Apr 24 19:27:53 2018 +0100
@@ -1,3 +1,6 @@
+Kris's original TODO list follows:
+
+----------------------------------------------------------------------
 Towards replacing rpm + yum (0.1):
 
 - drop the filelists from the main package set file, split out to a