Twitter fixed glitch that blocked Trump from appearing in search results for ‘POTUS’