no more search result highlighting
pymode is just way too intrusive and overbearing; let's ditch it