Show message and disable search box when no extensions are installed

For #3906.