[ENH] Thanks to pkdille's relentless work, the vast majority of preferences have been converted. Thus, the preference search in admin panel is no longer experimental, but now always on. This search is a radical improvement for all Tiki admins. We will soon wonder how we ever survived without it :-)