ParentFull threadSanchoPanda·But most importantly, search keywords now become blue on activation. I am unreasonably pleased with this improvement.View on HN