A few helpers needed to build the leaderboard.
from jyquickhelper import add_notebook_menu add_notebook_menu()