Add section about the builtin Time plugin.
tree47d201a403295b085874d6a1e0de482504b94716
-rw-r--r-- 64 .gitignore
-rw-r--r-- 1405 Makefile
-rw-r--r-- 718 TODO
-rw-r--r-- 474 index-docinfo.html
-rw-r--r-- 57841 index.txt