Search form is gone

With recent updates, search form is missing as it was replaced by Gitlab statistics - how many people gave stars to its repository and how many forks are there.