Hide theme+ dev tool from Contao search index.