Merge branch 'misc' into dev
treef9c52f9f49d38abd290b6c93ff22cbfc835a8960
-rw-r--r-- 35147 COPYING
drwxr-xr-x - doc
drwxr-xr-x - src
drwxr-xr-x - web-site