On Tue, May 31, 2016 at 10:06:20AM -0400, Benoit St-Pierre wrote:
> Fulvio has added a new menu under the chessboard, which I rather like, even
> if it takes some time to get accustomed.
> What should I call it?
It seems to be called 'nav burger' although the name is not very