@fede I guess that the mistake is in the comment because this file have remained untouched from a long time, however, It makes sense to include a search box in the 404 pages.

As a side note, did you know that you could override this file by duplicating it in your skin and customizing it as you wish?

I didn't know that, but it's a very good idea...