Remove old menu doc, fixes #590