Tooling box searx_extra for developers and users¶

In the folder Origin: searx_extra/ we maintain some tools useful for developers and users.