Split options more thoroughly
tree485eebafd59a746ef1854bc4608902cfb3d6f4a0
-rw-r--r-- 59 .gitignore
-rw-r--r-- 55 Changes
-rw-r--r-- 187 dist.ini
drwxr-xr-x - lib
drwxr-xr-x - t