I think we'll end up going with a 3-dot menu. It'll keep the main interface clean, and make it easy to add items to the menu, if we need to.