Replaced the materials search menu entry with a link to the NOMAD Encyclopedia.

12 jobs for 723-gui-updates in 40 minutes and 27 seconds (queued for 2 seconds)