Document todo.txt extensions in main help page