Build #258:   Add search box on navbar on branch django-1.9 almost 10 years ago