Add idris-apropos to the menu