Changed the priority from extra to optional.
tree3ef5a535b749635ace071eec41ba3072546224ff
-rw-r--r-- 8042 COMMANDS
-rw-r--r-- 17989 COPYING
-rw-r--r-- 9416 INSTALL
-rw-r--r-- 0 KnownBugs
-rw-r--r-- 315 Makefile.am
-rw-r--r-- 11874 NEWS
-rw-r--r-- 1652 README
-rw-r--r-- 193 TODO
-rwxr-xr-x 2412 autogen.sh
-rw-r--r-- 3158 configure.ac
drwxr-xr-x - debian
drwxr-xr-x - doc
drwxr-xr-x - po
drwxr-xr-x - src