4 ms·Grep the Linux kernel source with live results as you type2 points by aoe 15y agomarathe 15y agoIs this new, or has it been around for a while? Usability-wise, it's great.