board list was moved from JSXGraph to JXG