UI improvements: 'include in regular search results' option has been replaced with 'exclude from regular search results'