FYI: I rolled out a new release that fixes lots of little problems and also has some minor improvements. We're in the process of rebuilding our search index with some improved searching capibilities. During this time, search results might be incomplete. The index will be completely rebuilt and functional by 18:30 GMT.