Google adds 'Personal' search filter, then drops it