Better CtrlP filtering with ag