Mention in docs that menu buttons can have event listeners; simplify some things