@@ -35,17 +35,6 @@ and some maintenance tasks (alternatively you can create your own fork).
3535 $ git clone https://github.com/asciimoo/searx searx
3636 $ cd searx
3737
38−.. hint::
39−
40− The *tooling box* is not yet merged into `asciimoo/searx master
41− <https://github.com/asciimoo/searx>`_. As long as PR is not merged, you need
42− to merge the PR into your local clone (see below). The discussion takes
43− place in :pull:`1803`. To merge the :pull:`1803` in your local branch use:
44−
45− .. code:: bash
46−
47− $ git pull origin refs/pull/1803/head
48−
4938**Install** :ref:`searx service <searx.sh>`
5039
5140This installs searx as described in :ref:`installation basic`.