Reformat Users section a bit.
treedb4d031083f1e9fbb1204235dfe7e97fc50453af
-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-- 60044 index.txt