(non-functional) menu.