20130814 win32 release, updated documentation for docset filter