Fix duplicate ids from pinned comments
tree3cb4021dea942f07250e2cbeb1e0203d3818a23a
-rw-r--r-- 178 .gitignore
-rw-r--r-- 828 .mailmap
drwxr-xr-x - .tx
-rw-r--r-- 2548 AUTHORS
-rw-r--r-- 17987 COPYING
-rw-r--r-- 2879 INSTALL
-rw-r--r-- 1819 README
drwxr-xr-x - conf
drwxr-xr-x - doc
drwxr-xr-x - git-interface
drwxr-xr-x - po
drwxr-xr-x - schema
drwxr-xr-x - scripts
drwxr-xr-x - upgrading
drwxr-xr-x - web