RBSChange/Change — pull request #667 by fredericbonjour (2013-11-25 10:32:24+00:00)
Title: New main menu with well-organized entries.

Search in main menu will come back soon!